The following commit has been merged in the master branch:
commit ab163e5d566da27cb7f76b5c3e9a5aa065dd8a47
Author: Stephane Glondu <st...@glondu.net>
Date:   Fri Sep 21 18:30:29 2012 +0200

    Bump Coq version

diff --git a/debian/control b/debian/control
index cf70410..ceea267 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Build-Depends:
  debhelper (>= 8),
  dh-ocaml (>= 0.9~),
  ocaml-nox (>= 3.11.1-3~),
- coq (>= 8.3),
+ coq (>= 8.4),
  libcoq-ocaml-dev
 Standards-Version: 3.9.2
 Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/

-- 
aac-tactics packaging

_______________________________________________
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

Reply via email to