This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository eliom.

commit 21053b042c2b0aa5323aca395c63b512bbabeb3b
Author: Stephane Glondu <st...@glondu.net>
Date:   Sun Nov 10 13:56:29 2013 +0100

    Compile with OCaml >= 4.01
---
 debian/control |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index dbb5874..f3a11c6 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders:
   Stéphane Glondu <glo...@debian.org>,
   Pierre Chambart <pierre.chamb...@crans.org>
 Build-Depends:
-  ocaml-nox (>= 3.12.1-2~),
+  ocaml-nox (>= 4.01),
   ocaml-findlib,
   dh-ocaml (>= 0.9~),
   debhelper (>= 8),

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/eliom.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

Reply via email to