projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 23 May 2007 14:04:08 +0000 (14:04 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 23 May 2007 14:04:08 +0000 (14:04 +0000) | ||
| commit | 9eadb65114df8bda7ca5988a99bb277a96a8ed1e | |
| tree | 5feac31c631ad66f2cf48fafa37f67402afcc937 | tree | snapshot |
| parent | 146e4936a93992e7c5821605bffd3e1e47065f0d | commit | diff |
| helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz | [new file with mode: 0644] | blob |
| helm/software/pkg-matita/tarballs/matita_0.1.0.orig.tar.gz | [new symlink] | blob |
| helm/software/pkg-matita/trunk/debian/changelog | [new file with mode: 0644] | blob |
| helm/software/pkg-matita/trunk/debian/control | [new file with mode: 0644] | blob |
| helm/software/pkg-matita/trunk/debian/copyright | [new file with mode: 0644] | blob |
| helm/software/pkg-matita/trunk/debian/matita-standard-library.dirs | [new file with mode: 0644] | blob |
| helm/software/pkg-matita/trunk/debian/matita-standard-library.install | [new file with mode: 0644] | blob |
| helm/software/pkg-matita/trunk/debian/matita.dirs | [new file with mode: 0644] | blob |
| helm/software/pkg-matita/trunk/debian/matita.install | [new file with mode: 0644] | blob |
| helm/software/pkg-matita/trunk/debian/rules | [new file with mode: 0755] | blob |