diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2019-02-17 16:45:22 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2019-02-17 16:45:22 -0500 |
| commit | 3cd16822902dbc4a1c287b19d4f7bfbae1c8e4be (patch) | |
| tree | a7c0f8a08caf9d4f21357c4451ed2534874eed93 | |
| parent | 18dec949a821d236ad8292b1f792d41ea80532cf (diff) | |
Update build dependencies
| -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 |