Index of /pub/linux/ubuntu/pool/universe/m/matita/

Filename	Modification time	Size
matita_0.99.1-3.debian.tar.gz	2013-12-11 18:28 CET	4848 B
matita_0.99.1-3.dsc	2013-12-11 18:28 CET	1542 B
matita_0.99.1-3_amd64.deb	2013-12-24 01:08 CET	2498 KiB
matita_0.99.1-3_i386.deb	2013-12-24 01:08 CET	2375 KiB
matita_0.99.1.orig.tar.gz	2012-05-17 13:33 CEST	10 MiB