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 <trei...@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 <trei...@debian.org> Tue, 30 Dec 2014 18:39:34 +0100 + -- Ralf Treinen <trei...@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 _______________________________________________ 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