[SRM] Stable update for Why

[Mehdi Dogguy <mehdi@dogguy.org>]

Hi,

I’d like to propose the following change for Why.

diff --git a/debian/patches/0007-Squeeze-s-Coq-is-also-compatible.patch
b/debian/patches/0007-Squeeze-s-Coq-is-also-compatible.patch
new file mode 100644
index 0000000..01bdbe3
--- /dev/null
+++ b/debian/patches/0007-Squeeze-s-Coq-is-also-compatible.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi@dogguy.org>
+Date: Thu, 20 Jan 2011 20:56:15 +0100
+Subject: [PATCH] Squeeze's Coq is also compatible
+
+---
+ tools/dpConfig.ml |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/tools/dpConfig.ml b/tools/dpConfig.ml
+index b55e8bd..3785a8b 100644
+--- a/tools/dpConfig.ml
++++ b/tools/dpConfig.ml
+@@ -181,7 +181,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.2pl2"];
+     versions_old = ["7.4"];
+     command = "coqc";
+     command_switches = "";
+--
diff --git a/debian/patches/series b/debian/patches/series
index 68f088f..64b2a84 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@
 0004-Generate-Jessie.cma-for-bytecode-only-architectures.patch
 0005-Coq-float-can-be-in-coqlib-user-contrib-Float.patch
 0006-Cope-with-OCaml-3.12-s-Map.patch
+0007-Squeeze-s-Coq-is-also-compatible.patch

Is it OK for squeeze?

-- 
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/