../ libmagma-doc_2.5.4+ds-2_all.deb 13-Dec-2020 10:36 792972 magma_2.5.4+ds-2.debian.tar.xz 13-Dec-2020 10:36 7136 magma_2.5.4+ds-2.dsc 13-Dec-2020 10:36 2294 magma_2.5.4+ds.orig.tar.xz 04-Dec-2020 03:37 2152292