../ 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.5.0-4.1_all.deb 01-Mar-2024 12:41 14151468