diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-11-29 23:44:17 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-11-30 13:59:56 +0100 |
| commit | cb529a5fc2c760f57db3f2213570044442540992 (patch) | |
| tree | 2480442b91443fd71b97af6531fc579749d43d3e /debian/control | |
| parent | 1aa8b6f6a876af22f538c869f022bc4ca5986b40 (diff) | |
Initial packaging
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/debian/control b/debian/control new file mode 100644 index 0000000..bca697c --- /dev/null +++ b/debian/control @@ -0,0 +1,59 @@ +Source: aac-tactics +Section: math +Priority: optional +Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> +Uploaders: Stéphane Glondu <glondu@debian.org> +Build-Depends: + debhelper (>= 8), + dh-ocaml (>= 0.9~), + ocaml-nox (>= 3.11.1-3~), + coq (>= 8.3), + libcoq-ocaml-dev +Standards-Version: 3.9.1 +Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/ +Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-aactactics.git +Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-aactactics.git + +Package: libaac-tactics-ocaml +Section: ocaml +Architecture: any +Depends: + ${ocaml:Depends}, + ${shlibs:Depends}, + ${misc:Depends} +Recommends: libaac-tactics-coq +Enhances: coq +Provides: ${ocaml:Provides} +Description: Coq tactics for reasoning modulo AC (plugin) + This Coq plugin provides tactics for rewriting universally quantified + equations, modulo associative (and possibly commutative) operators. + . + This package provides the plugin itself. + +Package: libaac-tactics-ocaml-dev +Section: ocaml +Architecture: any +Depends: + ${ocaml:Depends}, + ${shlibs:Depends}, + ${misc:Depends} +Provides: ${ocaml:Provides} +Description: Coq tactics for reasoning modulo AC (devt files) + This Coq plugin provides tactics for rewriting universally quantified + equations, modulo associative (and possibly commutative) operators. + . + This package provides the static native-code library, needed to build + custom toplevels, and the compiled interfaces. + +Package: libaac-tactics-coq +Architecture: all +Depends: + libaac-tactics-ocaml (>= ${source:Version}), + coq-${F:CoqABI}, + ${misc:Depends} +Provides: aac-tactics +Description: Coq tactics for reasoning modulo AC (theories) + This Coq plugin provides tactics for rewriting universally quantified + equations, modulo associative (and possibly commutative) operators. + . + This package provides the Coq support library. |