]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 637fe25) | 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)
commit44a147ec8c4ddee8a236e942661b525c0e160f74
tree10c4c53eee4da28b9a5efadd3d7f0ac637f490bctree | snapshot
parent637fe25e110cc5ffbc4da502e74db2704660c381commit | diff
* rebuild with OCaml 3.10
* bump debhelper deps and compatibility level to 5
  - s/Source-Version/binary:Version
DEVEL/lablgtkmathview/debian/changelog diff | blob | history
DEVEL/lablgtkmathview/debian/compat diff | blob | history
DEVEL/lablgtkmathview/debian/control diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.