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

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit dd2609120a0df04abbba25b6d5c4ecb1405ab475
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Apr 16 13:33:28 2013 +0200

    patch 0008 forwarded

diff --git a/debian/patches/0008-Split-install-pack-into-two-separate-targets-opt-and.patch b/debian/patches/0008-Split-install-pack-into-two-separate-targets-opt-and.patch
index 4902e37..c1ef658 100644
--- a/debian/patches/0008-Split-install-pack-into-two-separate-targets-opt-and.patch
+++ b/debian/patches/0008-Split-install-pack-into-two-separate-targets-opt-and.patch
@@ -1,6 +1,7 @@
 From: Mehdi Dogguy <mehdi at dogguy.org>
 Date: Wed, 14 Dec 2011 15:29:53 +0100
 Subject: Split install-pack into two separate targets (opt and byte)
+Forwarded: https://gforge.inria.fr/tracker/index.php?func=detail&aid=15626&group_id=2340&atid=8106
 
 Index: alt-ergo/Makefile.in
 ===================================================================

-- 
alt-ergo packaging