File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
matita_0.99.1.orig.tar.gz	9.9 MiB	2012-05-17 07:33
matita_0.99.1-3_i386.deb	2.3 MiB	2013-12-23 20:08
matita_0.99.1-3_amd64.deb	2.4 MiB	2013-12-23 20:08
matita_0.99.1-3.dsc	1.5 KiB	2013-12-11 13:28
matita_0.99.1-3.debian.tar.gz	4.7 KiB	2013-12-11 13:28