[Pkg-ocaml-maint-commits] [why] 06/21: drop patch atp-versions

[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 2330da1d514a5e0f40efe09e4c49e1bfcdc8cba3
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Sep 20 20:48:59 2016 +0200

    drop patch atp-versions
---
 debian/changelog            |  3 ++-
 debian/patches/atp-versions | 25 -------------------------
 debian/patches/series       |  1 -
 3 files changed, 2 insertions(+), 27 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 3004350..0fde2f5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,10 @@
-why (2.35-1) UNRELEASED; urgency=medium
+why (2.36-1) UNRELEASED; urgency=medium
 
   * New upstream release:
     - refreshed patches bprintf and edge
     - dropped patch makefile as ocaml warning options are now set
       by configure
+    - dropped patch atp-versions which is now obsolete
   * Dropped build-dependency on libfloat-coq (closes: #815684)
   * debian/watch:
     - format version 4
diff --git a/debian/patches/atp-versions b/debian/patches/atp-versions
deleted file mode 100644
index 2862e35..0000000
--- a/debian/patches/atp-versions
+++ /dev/null
@@ -1,25 +0,0 @@
-Author: Ralf Treinen <treinen at debian.org>
-Description: update accepted versions of external provers
-
-Index: why/tools/dpConfig.ml
-===================================================================
---- why.orig/tools/dpConfig.ml	2014-01-19 16:44:19.000000000 +0100
-+++ why/tools/dpConfig.ml	2014-01-19 16:46:40.000000000 +0100
-@@ -84,7 +84,7 @@
-     version = "";
-     version_switch = "-version";
-     version_regexp = "\\([^ ]*\\)";
--    versions_ok = ["0.93"; "0.94"];
-+    versions_ok = ["0.93"; "0.94"; "0.95.2"];
-     versions_old = ["0.8"; "0.9" ; "0.91"; "0.92.1"; "0.92.2" ];
-     command = "alt-ergo";
-     command_switches = "";
-@@ -223,7 +223,7 @@
-     version_regexp = "The Coq Proof Assistant, version \\([^ ]+\\)";
-     versions_ok = ["8.0"; "8.1";"8.2";"8.2pl1"; 
- 		   "8.3pl1"; "8.3pl2";"8.3pl3"; "8.3pl4";
--		   "8.4"];
-+		   "8.4"; "8.4pl2"; "8.4pl3"];
-     versions_old = ["7.4"];
-     command = "coqc";
-     command_switches = "";
diff --git a/debian/patches/series b/debian/patches/series
index 07e19fb..a88b92e 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,2 @@
-atp-versions
 bprintf
 edge

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