From a40ddd41e090ab7a62d629c6be44903f8606f68e Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Mon, 24 Dec 2018 15:19:28 -0500 Subject: debian/control: Update build dependencies MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit https://github.com/coq/coq/commit/6b4a57051a470436b50d53e7395ec44b52e2dc7e requires rsync to collect test logs. This only really makes a difference in Coq’s CI environment, but it’s simpler to just let it do its thing than it is to patch the behavior out. --- debian/control | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/control b/debian/control index 5af6c74b..80fb6fcd 100644 --- a/debian/control +++ b/debian/control @@ -18,6 +18,7 @@ Build-Depends: camlp5 (>= 5.12-2~), liblablgtk2-ocaml-dev (>= 2.14), liblablgtksourceview2-ocaml-dev, + rsync, texlive-latex-extra, hevea (>= 1.10-7) Homepage: http://coq.inria.fr/ -- cgit v1.2.3