This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why.
commit 72c7ad8769b183603ed52e1227c031c7ded450cc Author: Ralf Treinen <[email protected]> Date: Tue Oct 25 17:12:00 2016 +0200 stop using libapron --- debian/changelog | 5 ++++- debian/control | 1 - debian/rules | 1 - 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/debian/changelog b/debian/changelog index bb7b4f1..84d2030 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,11 @@ why (2.36-3) UNRELEASED; urgency=medium * drop build-dependency on liblablgtk2-ocaml-dev + * stop using libapron, as advised by upstream: + - drop build-dependency libapron-ocaml-dev + - drop option enable-apron from ./configure invocation - -- Ralf Treinen <[email protected]> Tue, 25 Oct 2016 17:08:25 +0200 + -- Ralf Treinen <[email protected]> Tue, 25 Oct 2016 17:11:34 +0200 why (2.36-2) unstable; urgency=medium diff --git a/debian/control b/debian/control index d10a988..bfb2427 100644 --- a/debian/control +++ b/debian/control @@ -15,7 +15,6 @@ Build-Depends: coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20151002+magnesium+dfsg), - libapron-ocaml-dev (>= 0.9.10-4~), camlidl, why3, why3-coq Standards-Version: 3.9.8 diff --git a/debian/rules b/debian/rules index d053402..36a95e6 100755 --- a/debian/rules +++ b/debian/rules @@ -20,7 +20,6 @@ override_dh_auto_configure: --libdir=/usr/share \ --mandir=\$${prefix}/share/man \ --infodir=\$${prefix}/share/info \ - --enable-apron=yes \ LDFLAGS="-Wl,-z,defs" override_dh_auto_clean: -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
