]> matita.cs.unibo.it Git - helm.git/commit - helm/software/pkg-matita/tarballs/matita_0.2.0.orig.tar.gz
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a39300) | patch
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
tree2e94cc2c845f03534311806f7c0ecb9e7361bd03tree | snapshot
parent7a39300df548240641269857e40d5476ff88db16commit | diff
the version on the livecd
helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz diff | blob | history
helm/software/pkg-matita/tarballs/matita-0.2.0.tar.gz [new file with mode: 0644] blob
helm/software/pkg-matita/tarballs/matita_0.2.0.orig.tar.gz [new symlink] blob
helm/software/pkg-matita/trunk/debian/changelog diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.