This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ssreflect.
commit 9c9ef542c157845491ff2f0792de020cbfb6f7f9
Author: Stephane Glondu <st...@glondu.net>
Date: Sat Aug 10 21:53:12 2013 +0200
Compile with OCaml >= 4
---
debian/control | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/debian/control b/debian/control
index 5ade08c..290b561 100644
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Build-Depends:
dh-ocaml (>= 0.9~),
camlp5 (>= 5.12-2~),
ocaml-best-compilers,
- ocaml-nox (>= 3.11.1-3~)
+ ocaml-nox (>= 4)
Standards-Version: 3.9.4
Section: math
Homepage: http://www.msr-inria.inria.fr/Projects/math-components
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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
