../ mma_15.12-1.debian.tar.xz 16-Dec-2015 13:21 2M mma_15.12-1.dsc 16-Dec-2015 13:21 1896 mma_15.12-1_all.deb 16-Dec-2015 13:21 3M mma_15.12.orig.tar.gz 16-Dec-2015 13:21 3M