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 <trei...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits