Index of /old/debian/pool/main/m/mantis/

../
mantis_1.2.18-1.debian.tar.gz                      03-Apr-2019 01:51               63713
mantis_1.2.18-1.dsc                                03-Apr-2019 01:51                1851
mantis_1.2.18-1_all.deb                            03-Apr-2019 01:33             2250692
mantis_1.2.18.orig.tar.gz                          03-Apr-2019 01:51             3959859