]>
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 | 562e9adf40098e11d8f0bc2711a7f665360c2231 | |
tree | 74f6d6824625ce6d2155249fc86182c83c66c666 | tree | snapshot |
parent | d5ebbd4b337ff48a5512818ea219135d051cf3fc | commit | diff |
pkg-matita/tarballs/matita-0.1.0.tar.gz | [new file with mode: 0644] | blob |
pkg-matita/tarballs/matita_0.1.0.orig.tar.gz | [new symlink] | blob |
pkg-matita/trunk/debian/changelog | [new file with mode: 0644] | blob |
pkg-matita/trunk/debian/control | [new file with mode: 0644] | blob |
pkg-matita/trunk/debian/copyright | [new file with mode: 0644] | blob |
pkg-matita/trunk/debian/matita-standard-library.dirs | [new file with mode: 0644] | blob |
pkg-matita/trunk/debian/matita-standard-library.install | [new file with mode: 0644] | blob |
pkg-matita/trunk/debian/matita.dirs | [new file with mode: 0644] | blob |
pkg-matita/trunk/debian/matita.install | [new file with mode: 0644] | blob |
pkg-matita/trunk/debian/rules | [new file with mode: 0755] | blob |