../ casacore-doc_3.0.0-4_all.deb 23-Nov-2018 20:40 13464560 casacore-doc_3.3.0-4_all.deb 30-Jul-2020 08:56 13485848 casacore-doc_3.5.0-2_all.deb 10-Jul-2022 08:48 13694588 casacore-doc_3.7.1-1_all.deb 18-Mar-2025 16:07 14398484