The following commit has been merged in the master branch:
commit 1bc0d53d40ff6e3a5c3c3be1afe53eec3c6c4481
Author: Mehdi Dogguy <me...@debian.org>
Date: Mon Jan 2 15:33:37 2012 +0100
Coq 8.3pl3 is also compatible
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
index d134d8d..675b564 100644
--- 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
@@ -15,7 +15,7 @@ index e298bcf..a2068e5 100644
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"];
++ versions_ok = ["8.0"; "8.1";"8.2";"8.2pl1";"8.3pl2";"8.3pl3"];
versions_old = ["7.4"];
command = "coqc";
command_switches = "";
--
why packaging
_______________________________________________
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
