Index of /pool/universe/m/matita
Name
Last modified
Size
Description
Parent Directory
-
matita-dbgsym_0.99.1-3_armhf.ddeb
2013-12-24 00:05
692K
matita-dbgsym_0.99.1-3_amd64.ddeb
2013-12-23 23:50
680K
matita-dbgsym_0.99.1-3_powerpc.ddeb
2013-12-24 01:06
579K
Apache/2.4.29 (Ubuntu) Server at ddebs.ubuntu.com Port 80