diff options
author | Stephane Glondu <steph@glondu.net> | 2013-07-24 10:01:55 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2013-07-24 10:02:36 +0100 |
commit | 1d724b2c42cef6ca82fe6084619b56601fb0b55d (patch) | |
tree | 70835f410d94b389125cae7fd5d046bd8237f065 | |
parent | 8e2e24dd45d6827a1f00a0d2e1cf28ef6f3b7f38 (diff) |
Compile with OCaml >= 4
-rw-r--r-- | debian/control | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/control b/debian/control index 057d83b..14c6717 100644 --- a/debian/control +++ b/debian/control @@ -8,8 +8,8 @@ Uploaders: Build-Depends: cdbs (>= 0.4.23), debhelper (>= 7), - ocaml-nox (>= 3.11.1), - ocaml-findlib (>= 1.2.4-2), + ocaml-nox (>= 4), + ocaml-findlib (>= 1.4), camlp4-extra, dh-ocaml (>= 0.9), time |