[Pkg-ocaml-maint-commits] [why] 01/03: accept coq 8.4pl3

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit 38c7821b307fe832b02f699dbbd99acaa9e7173d
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jan 19 18:10:58 2014 +0100

    accept coq 8.4pl3
---
 debian/patches/atp-versions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/patches/atp-versions b/debian/patches/atp-versions
index a9990b9..2862e35 100644
--- a/debian/patches/atp-versions
+++ b/debian/patches/atp-versions
@@ -19,7 +19,7 @@ Index: why/tools/dpConfig.ml
      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.4"; "8.4pl2"; "8.4pl3"];
      versions_old = ["7.4"];
      command = "coqc";
      command_switches = "";

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git