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

2013-04-05 Thread Ralf Treinen
The following commit has been merged in the experimental/master branch: commit ce3d6a4b8142caeeb27051592d5c8c4f132465e8 Author: Ralf Treinen Date: Fri Apr 5 11:05:49 2013 +0200 standards-version 3.9.4 diff --git a/debian/changelog b/debian/changelog index 344dc76..fed27e9 100644 --- a/debi

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

2013-04-05 Thread Ralf Treinen
The following commit has been merged in the experimental/master branch: commit 0ff3341d37aa91ae67ff2a18a64b2eb890921d7c Author: Ralf Treinen Date: Fri Apr 5 10:14:18 2013 +0200 added Ralf as uploader diff --git a/debian/changelog b/debian/changelog index 6ab1191..344dc76 100644 --- a/debia

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

2013-04-05 Thread Ralf Treinen
The following commit has been merged in the experimental/master branch: commit fbb80497a6d40bb645392567f5a4ad5bf0ca6ae9 Author: Ralf Treinen Date: Fri Apr 5 11:11:11 2013 +0200 source format 3.0 (quilt) diff --git a/debian/changelog b/debian/changelog index fed27e9..38130b1 100644 --- a/de