[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.93-3-8-g0b076b6

The following commit has been merged in the master branch: commit 4667c86757d1a5e1e41b1ce24d10b170b076f0bb Author: Mehdi Dogguy Date: Fri Dec 9 18:40:38 2011 +0100 Fix 0004-Add-rules-and-targets-for-gui.byte.patch diff --git a/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch b

[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.93-3-8-g0b076b6

The following commit has been merged in the master branch: commit 0b076b63ae1d84c485a3b91959f1e26a00e0c8e9 Author: Mehdi Dogguy Date: Wed Dec 14 14:14:31 2011 +0100 Various (packaging) changes diff --git a/debian/META.in b/debian/META.in new file mode 100644 index 000..ea49d2a --- /dev

[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.93-3-8-g0b076b6

The following commit has been merged in the master branch: commit 53cf1b90ef8b3536535d5376e460b564a89a09e7 Author: Mehdi Dogguy Date: Wed Dec 14 14:06:27 2011 +0100 Add more patches diff --git a/debian/patches/0006-PRECM-O-X-is-needed-to-link-altgr-ergo.patch b/debian/patches/0006-PRECM-O