]> matita.cs.unibo.it Git - helm.git/commit
the version on the livecd
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:10:08 +0000 (13:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:10:08 +0000 (13:10 +0000)
commit9c9ac719842be4bb1bf0e52236218fb7a69dac6c
tree2e94cc2c845f03534311806f7c0ecb9e7361bd03
parent7a39300df548240641269857e40d5476ff88db16
the version on the livecd
helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz
helm/software/pkg-matita/tarballs/matita-0.2.0.tar.gz [new file with mode: 0644]
helm/software/pkg-matita/tarballs/matita_0.2.0.orig.tar.gz [new symlink]
helm/software/pkg-matita/trunk/debian/changelog