This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch try
in repository why.
commit 7754131cb3d5a644693b7cf61c933568efbfe75d
Author: Ralf Treinen <trei...@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 <trei...@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
_______________________________________________
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
