1 files changed, 4 insertions, 3 deletions
diff --git a/debian/control b/debian/control
index dd90f964..1a8784a8 100644
--- a/debian/control
+++ b/debian/control
@@ -7,11 +7,11 @@ Uploaders:
  Remi Vanicat <vanicat@debian.org>,
  Stefano Zacchiroli <zack@debian.org>,
  Samuel Mimram <smimram@debian.org>,
- Stephane Glondu <steph@glondu.net>
-DM-Upload-Allowed: yes
-Standards-Version: 3.8.2
+ Stéphane Glondu <glondu@debian.org>
+Standards-Version: 3.8.3
 Build-Depends:
  debhelper (>= 7),
+ quilt (>= 0.46-7~),
  dpkg-dev (>= 1.13.19),
  dh-ocaml (>= 0.4.1),
  ocaml-nox (>= 3.11.0-5),
@@ -39,6 +39,7 @@ Suggests:
  proofgeneral-coq,
  ledit | readline-editor,
  libcoq-ocaml-dev,
+ why (>= 2.19),
  coq-doc
 Conflicts: coq-libs
 Replaces: coq-libs