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

_______________________________________________
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