[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-32-g34f9e4e
Ralf Treinen
treinen at free.fr
Wed Apr 10 06:42:36 UTC 2013
The following commit has been merged in the experimental/master branch:
commit 34f9e4e31067fdf81432fe373e5b6334cb7e5678
Author: Ralf Treinen <treinen at free.fr>
Date: Wed Apr 10 08:20:17 2013 +0200
split off a package for the development libraries
diff --git a/debian/alt-ergo.install b/debian/alt-ergo.install
new file mode 100644
index 0000000..f7177e8
--- /dev/null
+++ b/debian/alt-ergo.install
@@ -0,0 +1,2 @@
+usr/bin
+usr/share
diff --git a/debian/changelog b/debian/changelog
index ff566d3..ddaee79 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
alt-ergo (0.95.1-1) UNRELEASED; urgency=low
* New upstream release.
+ * Split off a package for the development libraries.
* debian/watch: add extra directory per release.
* Adapted all patches to new upstream. Merge patch
0009-fix-install-gui-target into
@@ -30,7 +31,7 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
Touch configure in debian/rules to assure it is newer than configure.in.
* Rewrite long package description.
- -- Ralf Treinen <treinen at debian.org> Tue, 09 Apr 2013 16:43:00 +0200
+ -- Ralf Treinen <treinen at debian.org> Wed, 10 Apr 2013 08:19:33 +0200
alt-ergo (0.94-2) unstable; urgency=high
diff --git a/debian/control b/debian/control
index f695f0f..ab4407c 100644
--- a/debian/control
+++ b/debian/control
@@ -18,6 +18,7 @@ Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/alt-ergo.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
Package: alt-ergo
+Section: math
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, ${ocaml:Depends}
Suggests: why
@@ -31,3 +32,25 @@ Description: Automatic theorem prover dedicated to program verification
and polymorphic enumeration types. It has restricted support for
reasoning over arbitrary user-defined algebraic types, first-order
quantifiers, and non-linear arithmetic.
+ .
+ This package contains the prover as a command-line executable
+ as well as the graphical interface.
+
+Package: libalt-ergo-ocaml-dev
+Section: ocaml
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}, ${ocaml:Depends}
+Suggests: why
+Description: Theorem prover dedicated to program verification - libraries
+ Alt-Ergo is an automatic theorem prover geared towards application in
+ program verification. It is based on CC(X), a congruence closure
+ algorithm parameterized by an equational theory X. Alt-Ergo has
+ built-in provers for propositional logic, linear arithmetic,
+ uninterpreted function symbols, associative-commutative function
+ symbols, polymorphic arrays, user-defined polymorphic record types
+ and polymorphic enumeration types. It has restricted support for
+ reasoning over arbitrary user-defined algebraic types, first-order
+ quantifiers, and non-linear arithmetic.
+ .
+ This package contains the development libraries that are useful when
+ writing OCaml programs linking to the alt-ergo API.
diff --git a/debian/libalt-ergo-ocaml-dev.install b/debian/libalt-ergo-ocaml-dev.install
new file mode 100644
index 0000000..6845771
--- /dev/null
+++ b/debian/libalt-ergo-ocaml-dev.install
@@ -0,0 +1 @@
+usr/lib
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list