From d8e408268a5d4c59770e5ce02d6c814f751caed3 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 7 Sep 2008 18:58:58 +0200
Subject: Use debhelper 7, simplify debian/rules

---
 debian/control | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'debian/control')

diff --git a/debian/control b/debian/control
index d84be0b3..a24e091e 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,8 @@ Source: coq
 Section: math
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
-Uploaders: Ralf Treinen <treinen@debian.org>,
+Uploaders:
+ Ralf Treinen <treinen@debian.org>,
  Remi Vanicat <vanicat@debian.org>,
  Stefano Zacchiroli <zack@debian.org>,
  Samuel Mimram <smimram@debian.org>,
@@ -43,7 +44,11 @@ Description: proof assistant for higher-order logic (toplevel and compiler)
 
 Package: coqide
 Architecture: any
-Depends: ${shlibs:Depends}, ${misc:Depends}, coq (>= 8.0)
+Depends:
+ ${shlibs:Depends},
+ coq (= ${binary:Version}),
+ ocaml-base-nox-${F:OCamlABI},
+ ${misc:Depends}
 Description: proof assistant for higher-order logic (gtk interface)
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal
-- 
cgit v1.2.3