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

glondu pushed a commit to branch experimental/master
in repository hevea.

commit 0f50b3e5c63ecdaf73197fdee1d62f0d1c57e22e
Author: Stephane Glondu <st...@glondu.net>
Date:   Fri Nov 8 19:59:30 2013 +0100

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

diff --git a/debian/control b/debian/control
index 0d8c7fa..0bb5f66 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Uploaders:
  Remi Vanicat <vani...@debian.org>,
  Samuel Mimram <smim...@debian.org>,
  Stéphane Glondu <glo...@debian.org>
-Build-Depends-Indep: ocaml-nox (>= 3.12)
+Build-Depends-Indep: ocaml-nox (>= 4)
 Build-Depends: debhelper (>= 9), tex-common, dh-ocaml (>= 0.9)
 Standards-Version: 3.9.4
 Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/hevea.git

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