From cb529a5fc2c760f57db3f2213570044442540992 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 29 Nov 2010 23:44:17 +0100
Subject: Initial packaging

---
 debian/control | 59 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)
 create mode 100644 debian/control

(limited to 'debian/control')

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.
-- 
cgit v1.2.3