-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 11 Oct 2016 21:28:06 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.36-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: libwhy-coq - Why library for Coq why - Software verification tool for C and Java Closes: 440469 807051 815684 Changes: why (2.36-1) unstable; urgency=medium . * New upstream release. This version compiles with coq 8.5 and drops the gwhy binary (Closes: #440469). - refreshed patches bprintf and edge - dropped patch makefile as ocaml warning options are now set by configure - dropped patch atp-versions which is now obsolete * Due to disappearance of the why binary: - drop why-cpulimit manpage since this binary is no longer build: (files d/why-cpulimit.1 and d/why.manpages) - remove d/why.links as upstream does not ship the why manpage any more - add build-dependency on why3 and why3-coq - package why: add dependency on why3 - d/tests/frama-c+jessie+alt-ergo: adapt to why3 - package why: remove Recommends of SMT solvers - remove tests why+{alt-ergo,coq,cvc3} - rewrite package description - add why.NEWS entry about the transition to why3 * Due to disappearance of doc/manual.ps and ocamlgraph/ from upstream: - remove d/purify-source - drop filter from d/gbp.conf * Due to disappearance of examples from upstream: don't build binary package why-examples * Patch reproducible_build: remove timestamps (closes: #807051). Thanks to Valentin Lorentz for the patch! * debian/control: - Dropped build-dependency on libfloat-coq (closes: #815684) - Bumped build-dependency on frama-c to magnesium. - Standards-Version 3.9.8 (no change) - d/control remove redundant XS-Testsuite field - Vcs-{Browser,Git}: use secure URI * debian/watch: - format version 4 - get link to newest version from the krakatoa home page (instead of trying to read the download/ directory). * debhelper-compatibility level 10: - bump value in d/compat - build-depends on debhelper (>=10) - invocation of dh in d/rules: sequence argument before options * update homepage to krakatoa.lri.fr * create manpages, based on the output of help2man, for jessie and krakatoa * drop autoconf from d/rules and from build-dependencies * d/rules: disable upstream tests * d/rules: create bin directory before invoking dh_auto_build * d/tests: add test krakato+alt-ergo * remove d/README.source which is obsolete. Checksums-Sha1: 7cfc3d196cd8340442e083634f7c55e4a155ecc1 2305 why_2.36-1.dsc c243c7415cd803c3c871951fb1b582024a4842dc 1769606 why_2.36.orig.tar.gz d09e6132d3f6f1c5e69da40e02b550ffbda57d3c 11276 why_2.36-1.debian.tar.xz Checksums-Sha256: df953808e8b7890c82447594c253ac96c12d964e2fad75fdc55d73bac5e7dcf3 2305 why_2.36-1.dsc 7c1dfad6a83844353dcc47aef83de79cdb358e2e27cc04271e68e8e046d329b7 1769606 why_2.36.orig.tar.gz 6a73f8e99658a54e09826f9a8bb6c5b3640601fe0aea769db8e9ba35e446b096 11276 why_2.36-1.debian.tar.xz Files: 6f84cbb4763ea91d64b31ab15c6ce1d5 2305 math optional why_2.36-1.dsc 31a7c2fc14657124179e4f970c2f56f5 1769606 math optional why_2.36.orig.tar.gz 86bbbe84d6e05ae955c574b27640dc0c 11276 math optional why_2.36-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJX/UEEAAoJEHRcR2bUys3/QsEP/Rw+p69n5AbSoCqwdD2i/SyE NMD8LxxzgAtiLIAP6NLmL8KETDQ8clvtDH4Ro0ut6Cf78JXAo2/pLwGyp9wmIT6p kVdfGiEyByJYuYmts2N5E6Jw8j8qKVD/k9PvMF4NZtzEnGZzkzXtoo8jukVo3ijc NX68/Fu4GYUCVElezhzmjwocRF/T7wLjqbE4X/2pWnPEN8uKkkDF8YFxsz2CTI0r eMH/uAq8KjZwIYxfRfyF8uLjxGrfrOjcqBLDUVcVsN2zF9o6jIN4+RQnwxvyw/EC RdrHj3SLQLh4JnL9X/8KvWZaDda2hkbS6eKEogJ7JEwCQU0gluWKb/qnRa7s0Aji GRTdLEA/MfxSijkqHSTHdQt950UNTE5EOjEwPUQTfCbVGh8pyKbYR4YSL9cfVy6n QcZq57O8Ov0EeBlXYcu1QhOyLKimTVzRofHasepvPdopKhUaIi5OS0G96PDdpR3o 5K1aH+OljbVeFyWYkZ94zAxsY2OBzmv4GJ5+tjJiIyCdvHSQ7lxYWrbWZGWxnQpN qH8Uvi9yrryS9TL+JwXyKw2woflSY1XtkW+U23KtjnOHAKAvIJXCpB3ZQCRG0rcs WFC9vgJyjlwbw+Aw7c1MvAyaPFR7PBWI1ikboxDaciq4rNNvhH+AY/j4NA8BgP7Z iopu1QqQUv3XiFa8DuYa =aDTk -----END PGP SIGNATURE-----
