]> matita.cs.unibo.it Git - helm.git/commit
debian package for matita
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:04:08 +0000 (14:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:04:08 +0000 (14:04 +0000)
commit9eadb65114df8bda7ca5988a99bb277a96a8ed1e
tree5feac31c631ad66f2cf48fafa37f67402afcc937
parent146e4936a93992e7c5821605bffd3e1e47065f0d
debian package for matita
helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz [new file with mode: 0644]
helm/software/pkg-matita/tarballs/matita_0.1.0.orig.tar.gz [new symlink]
helm/software/pkg-matita/trunk/debian/changelog [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/control [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/copyright [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/matita-standard-library.dirs [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/matita-standard-library.install [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/matita.dirs [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/matita.install [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/rules [new file with mode: 0755]