[Pkg-ocaml-maint-commits] [alt-ergo] 09/11: drop libalt-ergo-ocaml-dev binary package
Ralf Treinen
treinen at moszumanska.debian.org
Tue Dec 30 18:13:01 UTC 2014
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch experimental/master
in repository alt-ergo.
commit 14ee89e280c5f29ecfc676e50829a883b078eaec
Author: Ralf Treinen <treinen at free.fr>
Date: Tue Dec 30 18:53:56 2014 +0100
drop libalt-ergo-ocaml-dev binary package
---
debian/changelog | 4 +++-
debian/control | 21 ---------------------
debian/libalt-ergo-ocaml-dev.install | 1 -
3 files changed, 3 insertions(+), 23 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index 05709b0..452050c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -10,8 +10,10 @@ alt-ergo (0.99.1+dfsg1-1) unstable; urgency=medium
to the file Makefile.users
* new patch 0002-non-free-dropped: adapt Makefile.users to the removal of
the non-free directory.
+ * Drop the libalt-ergo-ocaml-dev binary package since upstream does no
+ longer support installation of develoment libraries.
- -- Ralf Treinen <treinen at debian.org> Tue, 30 Dec 2014 18:39:34 +0100
+ -- Ralf Treinen <treinen at debian.org> Tue, 30 Dec 2014 18:53:25 +0100
alt-ergo (0.95.2-3) sid; urgency=medium
diff --git a/debian/control b/debian/control
index 3e6955f..dc4ca56 100644
--- a/debian/control
+++ b/debian/control
@@ -36,24 +36,3 @@ Description: Automatic theorem prover dedicated to program verification
.
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}
-Breaks: alt-ergo (<< 0.95.1-1)
-Replaces: alt-ergo (<< 0.95.1-1)
-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
deleted file mode 100644
index 6845771..0000000
--- a/debian/libalt-ergo-ocaml-dev.install
+++ /dev/null
@@ -1 +0,0 @@
-usr/lib
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
More information about the Pkg-ocaml-maint-commits
mailing list