]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fccdd2) | patch
fixed wrong dependencies in debian package reported by oliboni
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 10 Mar 2008 15:56:52 +0000 (15:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 10 Mar 2008 15:56:52 +0000 (15:56 +0000)
commit94538d45a28cf8e833f9ad4523b61a3252fde7d4
tree87880c02085c430d01919dd979c6ab2bce6cbb12tree | snapshot
parent5fccdd2191e822f5ed140336bd15308e499d9ddacommit | diff
fixed wrong dependencies in debian package reported by oliboni
helm/software/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.