Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 17-Nov-2019 20:00 -
![[ ]](/icons/unknown.gif){kind=icon}
mma_16.06-1.debian.t..> 20-Jan-2017 15:08 80k
![[TXT]](/icons/text.gif){kind=icon}
mma_16.06-1.dsc 20-Jan-2017 15:08 2k
mma_16.06-1_all.deb 20-Jan-2017 15:08 3.5M
mma_16.06-2.debian.t..> 18-Jan-2019 09:16 81k
mma_16.06-2.dsc 18-Jan-2019 09:16 2k
mma_16.06-2_all.deb 18-Jan-2019 10:11 3.4M
![[ ]](/icons/compressed.gif){kind=icon}
mma_16.06.orig-pdf.t..> 20-Jan-2017 15:08 1.9M
mma_16.06.orig.tar.gz 20-Jan-2017 15:08 2.5M