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

[Ralf Treinen]

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

    patches 0003 and 0005 forwarded to upstream

diff --git a/debian/patches/0003-Fix-a-typo.patch b/debian/patches/0003-Fix-a-typo.patch
index a2ffc0e..13acafc 100644
--- a/debian/patches/0003-Fix-a-typo.patch
+++ b/debian/patches/0003-Fix-a-typo.patch
@@ -1,6 +1,7 @@
 From: Mehdi Dogguy <mehdi at debian.org>
 Date: Tue, 1 Jun 2010 21:24:16 +0200
 Subject: Fix a typo
+Forwarded: https://gforge.inria.fr/tracker/index.php?func=detail&aid=15590&group_id=2340&atid=8106
 
 --- alt-ergo.orig/cc.ml	2013-04-03 17:08:22.456316165 +0200
 +++ alt-ergo/cc.ml	2013-04-03 17:09:34.216693136 +0200
diff --git a/debian/patches/0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch b/debian/patches/0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
index 84fd2d8..9290de9 100644
--- a/debian/patches/0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
+++ b/debian/patches/0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
@@ -1,6 +1,7 @@
 From: Mehdi Dogguy <mehdi at debian.org>
 Date: Sat, 16 Apr 2011 16:26:40 +0200
 Subject: Look for cma instead of cmxa for lablgtksourceview2
+Forwarded: https://gforge.inria.fr/tracker/index.php?func=detail&aid=15591&group_id=2340&atid=8106
 
 Index: alt-ergo/configure
 ===================================================================

-- 
alt-ergo packaging