Package coq_makefile’s new Python dependency

1 files changed, 4 insertions, 0 deletions

diff --git a/debian/control b/debian/control
index 0421b4c0..29f85268 100644
--- a/debian/control
+++ b/debian/control
@@ -11,13 +11,16 @@ Uploaders:
 Standards-Version: 4.3.0
 Build-Depends:
  debhelper (>= 10),
+ dh-exec,
  dh-ocaml (>= 0.9.5~),
+ dh-python,
  ocaml-nox (>= 4),
  ocaml-best-compilers,
  ocaml-findlib (>= 1.4),
  camlp5 (>= 5.12-2~),
  liblablgtk2-ocaml-dev (>= 2.14),
  liblablgtksourceview2-ocaml-dev,
+ python3,
  rsync,
  texlive-latex-extra,
  hevea (>= 1.10-7)
@@ -31,6 +34,7 @@ Depends:
  coq-theories (= ${binary:Version}),
  emacsen-common,
  ${ocaml:Depends},
+ ${python3:Depends},
  ${shlibs:Depends},
  ${misc:Depends}, 
  ocaml-best-compilers,