Author: Ralf Treinen <treinen@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 = "";
