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 <[email protected]> +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/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
