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

treinen pushed a commit to branch master
in repository why.

commit e25b24d74773f9b24f666f8b4b67599c7e5d782b
Author: Ralf Treinen <trei...@free.fr>
Date:   Fri Jan 17 20:08:34 2014 +0100

    drop patch 0001-Why-2.29-do-support-Coq-8.3.patch
---
 debian/changelog                                   |  8 ++++++++
 .../patches/0001-Why-2.29-do-support-Coq-8.3.patch | 22 ----------------------
 debian/patches/series                              |  1 -
 3 files changed, 8 insertions(+), 23 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index c0753eb..5e7e5ed 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+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
+
+ --
+
 why (2.30+dfsg-5) unstable; urgency=low
 
   * Update 0001-Why-2.29-do-support-Coq-8.3.patch
diff --git a/debian/patches/0001-Why-2.29-do-support-Coq-8.3.patch 
b/debian/patches/0001-Why-2.29-do-support-Coq-8.3.patch
deleted file mode 100644
index baf3b8e..0000000
--- a/debian/patches/0001-Why-2.29-do-support-Coq-8.3.patch
+++ /dev/null
@@ -1,22 +0,0 @@
-From: Mehdi Dogguy <me...@debian.org>
-Date: Sat, 23 Apr 2011 20:03:16 +0200
-Subject: Why 2.29 do support Coq 8.3
-
----
- tools/dpConfig.ml |    2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/tools/dpConfig.ml b/tools/dpConfig.ml
-index e298bcf..e772589 100644
---- a/tools/dpConfig.ml
-+++ b/tools/dpConfig.ml
-@@ -221,7 +221,7 @@ let coq =
-     version = "";
-     version_switch = "-v";
-     version_regexp = "The Coq Proof Assistant, version \\([^ ]+\\)";
--    versions_ok = ["8.0"; "8.1";"8.2";"8.2pl1"];
-+    versions_ok = ["8.0"; "8.1";"8.2";"8.2pl1";"8.3pl2";"8.3pl3";"8.3pl4"];
-     versions_old = ["7.4"];
-     command = "coqc";
-     command_switches = "";
--- 
diff --git a/debian/patches/series b/debian/patches/series
index 3d379b7..5e7b09e 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,3 @@
-0001-Why-2.29-do-support-Coq-8.3.patch
 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

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

_______________________________________________
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