]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 10 Sep 2007 18:34:12 +0000 (18:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 10 Sep 2007 18:34:12 +0000 (18:34 +0000)
commite3a8bcf815ee8b619687007867205f24d501ebfa
tree7dcf063dbc81aa50a82b80634d35938fb4b090d5
parentc187392ea5521aa5daf86be2ed947016493fed79
...
helm/software/pkg-matita/tarballs/matita-0.2.0.tar.gz
helm/software/pkg-matita/tarballs/matita-0.3.0.tar.gz [new file with mode: 0644]
helm/software/pkg-matita/tarballs/matita_0.3.0.orig.tar.gz [new symlink]
helm/software/pkg-matita/trunk/debian/changelog
helm/software/pkg-matita/trunk/debian/control