The following commit has been merged in the master branch:
commit 08465ddfc9ff8846f52a1f6398b61983f3fa83ee
Author: Stephane Glondu <st...@glondu.net>
Date:   Tue Sep 18 14:58:12 2012 +0200

    This version requires Coq 8.4

diff --git a/debian/control b/debian/control
index 35cb570..236918d 100644
--- a/debian/control
+++ b/debian/control
@@ -4,8 +4,8 @@ Maintainer: Debian OCaml Maintainers 
<debian-ocaml-ma...@lists.debian.org>
 Uploaders: St├ęphane Glondu <glo...@debian.org>
 Build-Depends:
  debhelper (>= 7.0.50~),
- coq (>= 8.3),
- libcoq-ocaml-dev (>= 8.3),
+ coq (>= 8.4),
+ libcoq-ocaml-dev (>= 8.4),
  dh-ocaml (>= 0.9~),
  camlp5 (>= 5.12-2~),
  ocaml-best-compilers,

-- 
ssreflect 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