The following commit has been merged in the experimental/master branch:
commit 34f9e4e31067fdf81432fe373e5b6334cb7e5678
Author: Ralf Treinen <trei...@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 <trei...@debian.org>  Tue, 09 Apr 2013 16:43:00 +0200
+ -- Ralf Treinen <trei...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to