]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Fri, 16 Nov 2007 10:02:48 +0000 (10:02 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Fri, 16 Nov 2007 10:02:48 +0000 (10:02 +0000) | ||
commit | f2e7cb9757a151382ed3a70d1a610e8f729a6597 | |
tree | 44ee08b88c345a79e7b266146924c26a3572bdc5 | tree | snapshot |
parent | 8ee0e6f729105eaf1907de0baef22e170b0d17b3 | commit | diff |
pkg-matita/trunk/debian/control | diff | blob | history |