Home
/
ubuntu
/
pool
/
universe
/
m
/
matita
File Name
Size
Date
..
—
—
matita_0.99.1-3.debian.tar.gz
4.73KB
2013-12-11 19:28:46
matita_0.99.1-3.dsc
1.51KB
2013-12-11 19:28:46
matita_0.99.1-3_amd64.deb
2.44MB
2013-12-24 02:08:28
matita_0.99.1-3_i386.deb
2.32MB
2013-12-24 02:08:34
matita_0.99.1.orig.tar.gz
9.89MB
2012-05-17 14:33:44
