Name Last modified Size Description
![[DIR]](/images/back.gif)
Parent Directory -
![[ ]](/images/unknown.gif)
mma_15.12-1.debian.tar.xz 16-Dec-2015 13:24 1.9M
mma_15.12-1.dsc 16-Dec-2015 13:24 1.9K
mma_15.12-1_all.deb 16-Dec-2015 13:54 3.3M
![[ ]](/images/zip.gif)
mma_15.12.orig.tar.gz 16-Dec-2015 13:24 2.6M
mma_16.06-1.debian.tar.xz 21-Jan-2017 01:20 80K
mma_16.06-1.dsc 21-Jan-2017 01:20 2.1K
mma_16.06-1_all.deb 21-Jan-2017 01:53 3.4M
mma_16.06.orig-pdf.tar.gz 21-Jan-2017 01:20 1.9M
mma_16.06.orig.tar.gz 21-Jan-2017 01:20 2.5M
mma_20.02-1.debian.tar.xz 24-Feb-2020 01:18 78K
mma_20.02-1.dsc 24-Feb-2020 01:18 2.1K
mma_20.02-1_all.deb 24-Feb-2020 01:18 3.7M
mma_20.02.orig-pdf.tar.gz 24-Feb-2020 01:18 2.0M
mma_20.02.orig.tar.gz 24-Feb-2020 01:18 3.1M
mma_20.12-1.debian.tar.xz 17-Dec-2020 07:14 77K
mma_20.12-1.dsc 17-Dec-2020 07:14 2.1K
mma_20.12-1_all.deb 17-Dec-2020 07:29 3.8M
mma_20.12.orig-pdf.tar.gz 17-Dec-2020 07:14 2.1M
mma_20.12.orig.tar.gz 17-Dec-2020 07:14 3.2M
Apache/2.2 Server at ftp.ntua.gr Port 80
