summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2009-02-01 07:47:14 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2009-02-01 11:10:06 +0100
commitc00af6d8c1ace1a117dbf4bfbb2dfbc0c7679e1a (patch)
tree274948084ba2245d4cb3ddd45d496a9fa7b76b49 /debian/control
parent277eee0a26f50107a302957a9dff7119afae84c2 (diff)
Add coq-${F:CoqABI} virtual package
Rationale: *.vo files depend on the version of Coq used to compile them. This virtual package will be useful for other packages providing *.vo (e.g. why, ssreflect).
Diffstat (limited to 'debian/control')
-rw-r--r--debian/control3
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index b3dadb56..5a256345 100644
--- a/debian/control
+++ b/debian/control
@@ -32,6 +32,7 @@ Depends:
ocaml-base-nox-${F:OCamlABI},
coq-theories (= ${source:Version}),
emacsen-common
+Provides: coq-${F:CoqABI}
Recommends: coqide | proofgeneral-coq
Suggests:
ocaml-nox,
@@ -70,7 +71,7 @@ Description: proof assistant for higher-order logic (gtk interface)
Package: coq-theories
Architecture: all
-Depends: ${misc:Depends}
+Depends: coq-${F:CoqABI}, ${misc:Depends}
Recommends: coq (>= 8.0)
Conflicts: coq-doc (<= 8.0pl1.0-2), coq-libs
Replaces: coq-libs