[Pkg-ocaml-maint-commits] [why] 04/14: drop patch 0002-Mark-alt-ergo-0.93-as-compatible.patch

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit 39528043ff4529ee0c7ba90e5ed8fb8e435a5219
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Jan 17 20:11:17 2014 +0100

    drop patch 0002-Mark-alt-ergo-0.93-as-compatible.patch
---
 debian/changelog                                   |  1 +
 .../0002-Mark-alt-ergo-0.93-as-compatible.patch    | 24 ----------------------
 debian/patches/series                              |  1 -
 3 files changed, 1 insertion(+), 25 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 5e7e5ed..73ae6a0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,7 @@ why (2.33-1) unstable; urgency=low
   * New upstream release. 
     Drop patches adopted by upstream:
     - 0001-Why-2.29-do-support-Coq-8.3.patch
+    - 0002-Mark-alt-ergo-0.93-as-compatible.patch
 
  --
 
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
deleted file mode 100644
index 21b1a3c..0000000
--- a/debian/patches/0002-Mark-alt-ergo-0.93-as-compatible.patch
+++ /dev/null
@@ -1,24 +0,0 @@
-From: Mehdi Dogguy <mehdi at dogguy.org>
-Date: Thu, 8 Dec 2011 16:42:30 +0100
-Subject: Mark alt-ergo > 0.93 as compatible
-
----
- tools/dpConfig.ml |    4 ++--
- 1 file changed, 2 insertions(+), 2 deletions(-)
-
-diff --git a/tools/dpConfig.ml b/tools/dpConfig.ml
-index e772589..935189f 100644
---- a/tools/dpConfig.ml
-+++ b/tools/dpConfig.ml
-@@ -83,8 +83,8 @@ let alt_ergo =
-     is_interactive = false;
-     version = "";
-     version_switch = "-version";
--    version_regexp = ".*Ergo \\([^ ]*\\)";
--    versions_ok = ["0.93"];
-+    version_regexp = "\\([^ ]*\\)";
-+    versions_ok = ["0.93"; "0.93.1"; "0.94"];
-     versions_old = ["0.8"; "0.9" ; "0.91"; "0.92.1"; "0.92.2" ];
-     command = "alt-ergo";
-     command_switches = "";
--- 
diff --git a/debian/patches/series b/debian/patches/series
index 5e7b09e..d08d330 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,3 @@
-0002-Mark-alt-ergo-0.93-as-compatible.patch
 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
 0004-Default-to-why2-for-jessie-atp.patch
 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git