The following commit has been merged in the experimental/master branch:
commit dd2609120a0df04abbba25b6d5c4ecb1405ab475
Author: Ralf Treinen <trei...@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 <me...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to