Folder Path
/
ubuntu-ports
/
ubuntu-ports
/
ubuntu-ports
/
pool
/
universe
/
m
/
matita
/
0
directories
7
files
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_arm64.deb
6.8 MiB
12/24/2013 01:58:42 AM +00:00
matita_0.99.1-3_armhf.deb
2.4 MiB
12/24/2013 12:18:19 AM +00:00
matita_0.99.1-3_powerpc.deb
2.1 MiB
12/24/2013 01:18:44 AM +00:00
matita_0.99.1-3_ppc64el.deb
6.8 MiB
02/18/2014 06:58:41 AM +00:00
matita_0.99.1.orig.tar.gz
9.9 MiB
05/17/2012 11:33:44 AM +00:00