Index of /pub/Linux/debian/pool/main/m/mma

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]mma_16.06-2.debian.tar.xz2019-01-18 09:16 81K 
[TXT]mma_16.06-2.dsc2019-01-18 09:16 2.1K 
[   ]mma_16.06-2_all.deb2019-01-18 10:11 3.4M 
[   ]mma_16.06.orig-pdf.tar.gz2017-01-20 15:08 1.9M 
[   ]mma_16.06.orig.tar.gz2017-01-20 15:08 2.5M 
[   ]mma_20.12-1.debian.tar.xz2020-12-16 22:16 77K 
[TXT]mma_20.12-1.dsc2020-12-16 22:16 2.1K 
[   ]mma_20.12-1_all.deb2020-12-16 22:31 4.1M 
[   ]mma_20.12.orig-pdf.tar.gz2020-12-16 22:16 2.1M 
[   ]mma_20.12.orig.tar.gz2020-12-16 22:16 3.2M 
[   ]mma_21.09-1.debian.tar.xz2021-10-04 22:55 78K 
[TXT]mma_21.09-1.dsc2021-10-04 22:55 2.1K 
[   ]mma_21.09-1_all.deb2021-10-04 23:25 4.1M 
[   ]mma_21.09.orig-pdf.tar.gz2021-10-04 22:55 2.1M 
[   ]mma_21.09.orig.tar.gz2021-10-04 22:55 3.2M 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443