diff options
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/debian/control b/debian/control index c323cf4c..03fa3bdd 100644 --- a/debian/control +++ b/debian/control @@ -5,7 +5,8 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>, - Stéphane Glondu <glondu@debian.org> + Stéphane Glondu <glondu@debian.org>, + Enrico Tassi <gareuselesinge@debian.org> Standards-Version: 3.9.5 Build-Depends: debhelper (>= 9), @@ -28,7 +29,8 @@ Depends: emacsen-common, ${ocaml:Depends}, ${shlibs:Depends}, - ${misc:Depends} + ${misc:Depends}, + ocaml-best-compilers Provides: coq-${F:CoqABI} Recommends: coqide | proofgeneral Suggests: @@ -68,8 +70,8 @@ Description: proof assistant for higher-order logic (gtk interface) developing proofs. Package: coq-theories -Architecture: all -Depends: coq-${F:CoqABI}, ${misc:Depends} +Architecture: any +Depends: coq-${F:CoqABI}, ${misc:Depends}, ${shlibs:Depends} Recommends: coq (>= 8.0) Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1) Replaces: coq-libs (<< 8.2.pl1) |