[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.3pl4-1-9-gcd46e52

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 08465ddfc9ff8846f52a1f6398b61983f3fa83ee
Author: Stephane Glondu <steph at 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-maint at lists.debian.org>
 Uploaders: Stéphane Glondu <glondu at 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