]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 22 Oct 2007 09:48:12 +0000 (09:48 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 22 Oct 2007 09:48:12 +0000 (09:48 +0000) | ||
commit | ebb94e3851557d4db1ee50202d0263d8fc00806d | |
tree | 9e04832cc8f09668534c432a7bcf16158fa7cb6f | tree | snapshot |
parent | 1b6e2d62ab142ce452d93e6d9acd63bc19baf148 | commit | diff |
pkg-matita/trunk/debian/control | diff | blob | history | |
pkg-matita/trunk/debian/copyright | diff | blob | history |