/ubuntu/pool/universe/m/matita/

0 directories 5 files
List Grid
Name
Size Modified
Up
matita_0.99.1-3.debian.tar.gz
4.7 KiB
matita_0.99.1-3.dsc
1.5 KiB
matita_0.99.1-3_amd64.deb
2.4 MiB
matita_0.99.1-3_i386.deb
2.3 MiB
matita_0.99.1.orig.tar.gz
9.9 MiB