From 3cd16822902dbc4a1c287b19d4f7bfbae1c8e4be Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 17 Feb 2019 16:45:22 -0500 Subject: Update build dependencies --- debian/control | 4 ++-- 1 file 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 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 -- cgit v1.2.3