|
mirror.unix-solutions.behosted by Unix-Solutions services: http, https, rsync |
|---|
Index of /ubuntu/pool/universe/m/matita
| File | Last Modified | Size |
|---|---|---|
| 📂 Parent Directory | ||
| 📄 matita_0.99.1-3.debian.tar.gz | 2013-12-11 17:28:46 | 4.73 KB |
| 📄 matita_0.99.1-3.dsc | 2013-12-11 17:28:46 | 1.51 KB |
| 📄 matita_0.99.1-3_amd64.deb | 2013-12-24 00:08:28 | 2.44 MB |
| 📄 matita_0.99.1-3_i386.deb | 2013-12-24 00:08:34 | 2.32 MB |
| 📄 matita_0.99.1.orig.tar.gz | 2012-05-17 11:33:44 | 9.89 MB |