[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-30-gcba5d6b

The following commit has been merged in the experimental/master branch: commit 567adfdec72be1b20f1ffbe00fb32aac23a31749 Author: Ralf Treinen trei...@pps.univ-paris-diderot.fr Date: Tue Apr 9 15:18:11 2013 +0200 merge patch 0009-fix-install-gui-target into

[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-30-gcba5d6b

The following commit has been merged in the experimental/master branch: commit cba5d6b9ef8f0fa5d580d1d4048e68c3ba201710 Author: Ralf Treinen trei...@pps.univ-paris-diderot.fr Date: Tue Apr 9 15:32:36 2013 +0200 patch 0004 forwarded to upstream diff --git