Packaging 8.5beta1

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)