why3 (0.87.3-1) experimental; urgency=medium * New upstream version: - drop patch coq8.6 which is now integrated by upstream. * Fix path of ocaml libdir in debian/libwhy3-ocaml-dev.install * Capitalization in short description of libwhy3-ocaml-dev * Drop build-dependency on autoconf -- Ralf Treinen Thu, 12 Jan 2017 16:56:47 +0100 why3 (0.87.2-3) unstable; urgency=medium * adapt to coq version 8.6: - patch coq8.6: compile coq plugin with coq8.6. Thanks to Guillaume Melquiond for the patch! - add autoconf to build-dependency (needed since configure.in is patched) - fix path of ocaml libdir in debian/libwhy3-ocaml-dev.install -- Ralf Treinen Tue, 03 Jan 2017 14:59:40 +0100 why3 (0.87.2-2) sid; urgency=medium * install why3lang.sty: - add to why3.install - add target directory to why3.dirs - invoke dh --with tex - add build-dependency on tex-common -- Ralf Treinen Wed, 21 Sep 2016 21:15:04 +0200 why3 (0.87.2-1) unstable; urgency=medium * new upstream release. - d/rules: replace EMACS=no by --disable-emacs-compilation - drop patch typos, applied by upstream - drop patch drop-timestamp, applied by upstream. As a consequence, we drop autoconf from d/rules and from build-dependencies * add debian/tests/why3+coq -- Ralf Treinen Thu, 01 Sep 2016 19:21:22 +0200 why3 (0.87.1-2) unstable; urgency=medium * amended patch drop-timestamp: drop setting of BUILDDATE from configure.in (closes: #831664). Invoke autoconf, and build-depend on autoconf, since we patch configure.in -- Ralf Treinen Tue, 19 Jul 2016 19:05:11 +0200 why3 (0.87.1-1) unstable; urgency=medium * new upstream version -dropped patch makefile-for-bytecode, since integrated by upstream * added z3 prover: - alternative dependency z3 - add package test with z3 * new patch drop-timestamp: do not include the build-timestamp in the produced binaries. -- Ralf Treinen Wed, 08 Jun 2016 20:42:36 +0200 why3 (0.87.0-3) unstable; urgency=medium * debian/tests/*: run "why3 config --detect-provers" to make tests work in a clean environment. -- Ralf Treinen Thu, 14 Apr 2016 19:00:49 +0200 why3 (0.87.0-2) unstable; urgency=medium * added a new binary package libwhy3-ocaml-dev - install libraries in install-arch target of d/rules - add d/*.install and d/*.dir files for this package - call dh_ocaml with --nodefined-map=why3-coq:Why3 since this unit is also exported by the library package * d/rules: split into -arch and -indep rules * d/control: split off Build-Depends-Indep * build and install why tactic for coq: - add build-dependency on libcoq-ocaml-dev - add coq-tactic to d/why3-coq.install - why3-coq: add dependencies ${ocaml:Depends} ${shlibs:Depends} * build with menhirlib: - add build-dependency on libmenhir-ocaml-dev - call dh_ocaml with --nodefined-map=why3-coq:MenhirLib * build with ocamlgraph: - turn build-conflict with libocamlgraph-ocaml-dev into build-dependency - call dh_ocaml with --nodefined-map=why3:Graph since this unit is also exported by libocamlgraph-ocaml-dev. * build with compression library: - added build-dependency on libzip-ocaml-dev - call dh_ocaml with --nodefined-map=why3-coq:Gzip,Zlib since these units are also exported by libzip-ocaml * build-dependency ocaml-nox: needs version >=3.11.2, according to upstream instructions. * added build-dependency libzarith-ocaml-dev * added recommendation (alternative): spass * added as-installed package tests: - why3+alt-ergo - why3+cvc3 - why3+spass * update Vcs-* fields * standards-version 3.9.8 (no change) * patch typos: various typos found by lintian -- Ralf Treinen Wed, 13 Apr 2016 20:48:54 +0200 why3 (0.87.0-1) unstable; urgency=low * Initial Release (closes: #797696) -- Ralf Treinen Sun, 20 Mar 2016 18:44:54 +0100