diff options
| -rw-r--r-- | debian/control | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/control b/debian/control index 6dada4a..2d48f9d 100644 --- a/debian/control +++ b/debian/control @@ -6,8 +6,8 @@ Uploaders: Stéphane Glondu <glondu@debian.org> Build-Depends: debhelper (>= 10), dh-ocaml (>= 0.9~), - ocaml-nox (>= 3.11.1-3~), - coq (>= 8.4dfsg-2~), + ocaml-nox (>= 4.02.3), + coq (>= 8.9.0), libcoq-ocaml-dev Standards-Version: 3.9.8 Homepage: https://github.com/coq-contribs/aac-tactics |