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

2013-04-09 Thread Ralf Treinen
The following commit has been merged in the experimental/master branch: commit c283a2941e59525ccac77985955b5f3fd402aae9 Author: Ralf Treinen trei...@free.fr Date: Fri Apr 5 19:36:38 2013 +0200 drop build-deps autotools-dev, autoconf. debian/rules: touch configure diff --git

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

2013-04-09 Thread Ralf Treinen
The following commit has been merged in the experimental/master branch: commit 62ee0ac5de0b775b9df55fc5da078919e4726a11 Author: Ralf Treinen trei...@free.fr Date: Mon Apr 8 21:57:24 2013 +0200 drop our own prodcution of META diff --git a/debian/META.in b/debian/META.in deleted file mode

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

2013-04-09 Thread Ralf Treinen
The following commit has been merged in the experimental/master branch: commit 3b6b50b14da0af1af39b37503f068bb214a5904d Author: Ralf Treinen trei...@free.fr Date: Mon Apr 8 21:54:20 2013 +0200 update copyright years and holders diff --git a/debian/changelog b/debian/changelog index

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

2013-04-09 Thread Ralf Treinen
The following commit has been merged in the experimental/master branch: commit 8e5156ad4da3773461df4ac0fa8b4918443f0b3a Author: Ralf Treinen trei...@free.fr Date: Tue Apr 9 09:17:47 2013 +0200 improve this changelog entry diff --git a/debian/changelog b/debian/changelog index