]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6777d04) | patch
* rebuild with OCaml 3.10
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Jul 2007 13:31:55 +0000 (13:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Jul 2007 13:31:55 +0000 (13:31 +0000)
commitcbde79499e9e4878a0e0f5953862dbf872bd1064
tree8b7f44af21c05524da1f4865fc37ab411f4a443etree | snapshot
parent6777d043f985679c453ca167f82ac49a09368a86commit | diff
* rebuild with OCaml 3.10
* bump debhelper deps and compatibility level to 5
  - s/Source-Version/binary:Version
helm/software/DEVEL/lablgtkmathview/debian/changelog diff | blob | history
helm/software/DEVEL/lablgtkmathview/debian/compat diff | blob | history
helm/software/DEVEL/lablgtkmathview/debian/control diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.