Folder Path
/
ubuntu
/
pool
/
universe
/
m
/
matita
/
0
directories
5
files
15 MiB
total
List
Grid
Name
Size
Modified
Up
matita_0.99.1-3.debian.tar.gz
4.7 KiB
12/11/2013 05:28:46 PM +00:00
matita_0.99.1-3.dsc
1.5 KiB
12/11/2013 05:28:46 PM +00:00
matita_0.99.1-3_amd64.deb
2.4 MiB
12/24/2013 12:08:28 AM +00:00
matita_0.99.1-3_i386.deb
2.3 MiB
12/24/2013 12:08:34 AM +00:00
matita_0.99.1.orig.tar.gz
9.9 MiB
05/17/2012 11:33:44 AM +00:00