../ libmagma-doc_2.5.4+ds-3_all.deb 27-Mar-2021 02:02 794312 libmagma-doc_2.6.2-1_all.deb 24-Mar-2022 16:41 800060 libmagma-doc_2.7.2+ds-1_all.deb 07-Sep-2023 01:35 766376