[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.29+dfsg-4-12-g5c5ac3c

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 1bc0d53d40ff6e3a5c3c3be1afe53eec3c6c4481
Author: Mehdi Dogguy <mehdi at 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