diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-08-29 16:55:03 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-08-29 16:59:16 +0200 |
| commit | d8e2663f7445de8536e71e16655bd083806360c1 (patch) | |
| tree | 491490c95051dd6f87d3357d3ef399d9de47b134 /debian/control | |
| parent | 52af446e4104d711a4fce53438b4bd29920a5e3d (diff) | |
Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 7 |
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 |