14.7 MiB
5 files
0 directories
Index of /ubuntu/pool/universe/m/matita/
Filename Modified Size Type
[Parent Directory]---
matita_0.99.1-3.debian.tar.gz11/12/13 17:2811/12/134.7 KiB[Save][Download]
matita_0.99.1-3.dsc11/12/13 17:2811/12/131.5 KiB[Save][Download]
matita_0.99.1-3_amd64.deb24/12/13 00:0824/12/132.4 MiB[Save][Download]
matita_0.99.1-3_i386.deb24/12/13 00:0824/12/132.3 MiB[Save][Download]
matita_0.99.1.orig.tar.gz17/05/12 11:3317/05/129.9 MiB[Save][Download]
Page generated in 0.001180 seconds
Browsing /ubuntu/pool/universe/m/matita/ @ mirror.ihost.md