The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.

Index of /ubuntu/pool/universe/m/matita/

../
matita_0.99.1-3.debian.tar.gz                      11-Dec-2013 17:28                4848
matita_0.99.1-3.dsc                                11-Dec-2013 17:28                1542
matita_0.99.1-3_amd64.deb                          24-Dec-2013 00:08             2557946
matita_0.99.1-3_i386.deb                           24-Dec-2013 00:08             2431800
matita_0.99.1.orig.tar.gz                          17-May-2012 11:33            10366065

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.