-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 06 Apr 2020 09:35:10 +0200 Source: why3 Architecture: source Version: 1.3.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 950605 Changes: why3 (1.3.1-1) unstable; urgency=medium . * New upstream version. This version contains the micro-C plugin (closes: #950605) * Drop patches fixed by this upstream version: - coq-8.10+11 - 0002-Move-menhirLib-from-EXTOBJS-to-EXTLIBS * Refresh patch hardening-flags * Upstream switched the building of the documentation to sphinx: - added build-dependencies python3-sphinx, python3-sphinxcontrib.bibtex - dropped build-dependencies rubber, hevea, lmodern - why3-doc-pdf.docs: update path of manual.pdf * configuration: explicitly set --libdir * debian/rules: simplify by using override_dh_auto_build-{arch,indep} * Test why+coq: use /tmp when $ADT_ARTIFACTS is not set * why3-doc-html: - depend on libjs-{jquery,underscore} - use why3-doc-html.links to symlink these libraries, replacing the embedded copies - remove calls to the mathjax library from generated html code Checksums-Sha1: e386b49cae5c733c787118babfc1afadbe21bbbb 2796 why3_1.3.1-1.dsc 1e05ac170fedae6eca06354e6829c7257f96b2b1 5823991 why3_1.3.1.orig.tar.gz 8d415299c1b50e1cdd3e31cb02dd37a2cc2ebf67 18028 why3_1.3.1-1.debian.tar.xz 4911c262eefb89e05b0d8bb251d076aa6fae5298 15581 why3_1.3.1-1_source.buildinfo Checksums-Sha256: 3208db469ff0b6e93e4f55397a88a0e48c9c466b69c68ed1fa673fd233f71b22 2796 why3_1.3.1-1.dsc 7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b 5823991 why3_1.3.1.orig.tar.gz 8d35f2375b052c182d0d258b92b87febfe75c0876cc01f6f881f04def64904c0 18028 why3_1.3.1-1.debian.tar.xz b40f4475214d78e47a4f92c59b83fa4cacda14614abb57e39dee97bc3260ab5b 15581 why3_1.3.1-1_source.buildinfo Files: dd80574f0778e05151b555d915ee8630 2796 math optional why3_1.3.1-1.dsc 0c2a5c869e9cd168e850adc7e7f872a8 5823991 math optional why3_1.3.1.orig.tar.gz c8cd309f3c63351c336b38e3a09f96ae 18028 math optional why3_1.3.1-1.debian.tar.xz 8ef63323905006442fded26aa0832fd4 15581 math optional why3_1.3.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6MoTgACgkQdFxHZtTK zf8YHQ//ar+O7IJBEnceN4LN84+IOIbw5lJmZKBAsOf8CME7XLEAMN9+okOWk+5b 2olLFzTFgaZ6Y/FfH3bfoJKi1+DiK7phLhVjrPefli7otWRsZU0qZRFDuLN6PpNV q8WnGPqjkJv4tynxRAn/zvLaMUuRFgtIJI1ZtGZqJmRvVe1Oc7RUb3XqM4Cjr7yr 7ae+Z+sYep2Kcl3JaNTZRxtysFN5E+55mAdCP173nr+3HWQN37yYidN3E75VVl3l wX+eIWdAfMd1UoKeWWQ5agiD/uKdRJXBVqhOnRmCyG/AOmNrDCxMsVgvFaTkySKj s37IXWIE9BV0igMjs3wFBRLK1ipcKvAlbdOoBJpmLie+fhJovz50jmg5y5apOag+ L6uz0IHI1Oz3w6j+bFvYlcBCNnDCWnuNz8ulyhwODg/1a8Bn4ybljpt18avnzMrq BggenJmx9akH8/FwQfU2YCQJKGolRrmlek40F6Y9S5pAItZWP5JuvR77/jWaOqQr AN81qTLOjYV2EECp0YrHNUDnucPQBMrmJJ9luURncAKiYaX3iCTuoOOLR7vn32jD shKui+EoouWhOl/tp/coo9oZpjiCQ6oAC5NQIAuuDAKvQwf6omkidYZdoY2xfgJQ tAB9kVEY+L8Q1h5epM/vCjUjBn//SaiM5bao0knWc1wt/mifbjQ= =iU6L -----END PGP SIGNATURE-----
