[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-4-8-gf677c3a

Mehdi Dogguy mehdi at debian.org
Sun Apr 24 21:40:14 UTC 2011


The following commit has been merged in the master branch:
commit a7fb8de4873eeae208c2b0684266473e426c3359
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sat Apr 23 20:08:14 2011 +0200

    Mark Alt-Ergo 0.93 as compatible

diff --git a/debian/changelog b/debian/changelog
index 8f36f6a..f540ec8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,8 +7,10 @@ why (2.29+dfsg-1) unstable; urgency=low
   * Bump minimum version of Coq to 8.3
     - and add 0001-Why-2.29-do-support-Coq-8.3.patch (upstream forgot to
       mention to why-config that Coq 8.3 is "ok").
+  * Mark Alt-Ergo 0.93 as compatible
+    - add 0002-Mark-alt-ergo-0.93-as-compatible.patch
 
- -- Mehdi Dogguy <mehdi at debian.org>  Sat, 23 Apr 2011 19:54:56 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Sat, 23 Apr 2011 20:07:28 +0200
 
 why (2.26+dfsg-4) unstable; urgency=low
 
diff --git a/debian/patches/0002-Mark-alt-ergo-0.93-as-compatible.patch b/debian/patches/0002-Mark-alt-ergo-0.93-as-compatible.patch
new file mode 100644
index 0000000..51ed7e2
--- /dev/null
+++ b/debian/patches/0002-Mark-alt-ergo-0.93-as-compatible.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Sat, 23 Apr 2011 20:07:20 +0200
+Subject: [PATCH] Mark alt-ergo 0.93 as compatible
+
+---
+ tools/dpConfig.ml |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/tools/dpConfig.ml b/tools/dpConfig.ml
+index 8856081..fe72bf9 100644
+--- a/tools/dpConfig.ml
++++ b/tools/dpConfig.ml
+@@ -84,7 +84,7 @@ let alt_ergo =
+     version = "";
+     version_switch = "-version";
+     version_regexp = ".*Ergo \\([^ ]*\\)";
+-    versions_ok = ["0.91"; "0.92.1"; "0.92.2"];
++    versions_ok = ["0.91"; "0.92.1"; "0.92.2"; "0.93"];
+     versions_old = ["0.8"; "0.9"];
+     command = "alt-ergo";
+     command_switches = "";
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index e427227..b44593a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 0001-Why-2.29-do-support-Coq-8.3.patch
+0002-Mark-alt-ergo-0.93-as-compatible.patch

-- 
why packaging



More information about the Pkg-ocaml-maint-commits mailing list