diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-06-03 11:55:35 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-07-21 09:54:12 +0200 |
| commit | f66d1a48ed27e53ac4a68f916edf259f610c0b2e (patch) | |
| tree | 292fb32a998121e09effaa80492e3f7611dced20 /debian/control | |
| parent | c90511bdca134a941999a9dd2a09b5f1c998c0b7 (diff) | |
Install plugins in (new) binary package libcoq-ocaml
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/debian/control b/debian/control index b3db1413..5aed7fc3 100644 --- a/debian/control +++ b/debian/control @@ -9,7 +9,7 @@ Uploaders: Standards-Version: 3.9.0 Build-Depends: debhelper (>= 7.2.11~), - dh-ocaml (>= 0.9~), + dh-ocaml (>= 0.9.5~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp5 (>= 5.12-2~), @@ -80,6 +80,23 @@ Description: proof assistant for higher-order logic (theories) This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. +Package: libcoq-ocaml +Section: ocaml +Architecture: any +Depends: + ${ocaml:Depends}, + ${shlibs:Depends}, + ${misc:Depends} +Provides: ${ocaml:Provides} +Breaks: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs +Replaces: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs +Description: runtime libraries for Coq + Coq is a proof assistant for higher-order logic, which allows the + development of computer programs consistent with their formal + specification. It is developed using Objective Caml and Camlp5. + . + This package provides runtime libraries for Coq. + Package: libcoq-ocaml-dev Section: ocaml Architecture: any |