-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 22 Mar 2022 08:02:03 +0100 Source: frama-c Architecture: source Version: 20211203-chromium-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 1000491 Changes: frama-c (20211203-chromium-1) unstable; urgency=medium . * New upstream release. This release fixes FTBFS with why3 >= 1.4.0 (closes: #1000491) - drop patch 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar which has been applied upstream. - refresh remaining patches * install: move libeacsl-dlmalloc.a from usr/lib to usr/lib/frama-c/e-acsl * d/copyright: remove some file patterns that no longer apply. * d/tests/wp: update call to "why3 config" * Standards-Version 4.6.0 (no change) Checksums-Sha1: 8e5bb20456069aa542968ef477083a5dee8a9028 2367 frama-c_20211203-chromium-1.dsc a83bf5d7cd318e8cc4b244c0113e6fe65f40b7b7 7874109 frama-c_20211203-chromium.orig.tar.gz e03987fedcea6440e3d5934734cbc4a5cfc77b28 15884 frama-c_20211203-chromium-1.debian.tar.xz 76a56bec14da5e2f36dcd8ccf6f4fdfcc2a97ec4 13613 frama-c_20211203-chromium-1_source.buildinfo Checksums-Sha256: a019264d6a1a2fac6f2c3ae4fa077b5ec2331825debcf44ff88102d17b12813b 2367 frama-c_20211203-chromium-1.dsc f679af29e0169bb55ea9b5823ed61c112be4a003b64ab894c82390d5b37e75e9 7874109 frama-c_20211203-chromium.orig.tar.gz adfdd2c9a896216f34e6392dac0fdd2284cb07439746c64755581989559eb84e 15884 frama-c_20211203-chromium-1.debian.tar.xz 6a3b21c04a79c0cbf6a97d94a05a712bd453de6750423617eefec11d923520d0 13613 frama-c_20211203-chromium-1_source.buildinfo Files: 1379c9b1623c273c9b35ce13b0075278 2367 devel optional frama-c_20211203-chromium-1.dsc 94a007badc034dc0ec4c09c51b13fa97 7874109 devel optional frama-c_20211203-chromium.orig.tar.gz e5e67031a4a4a5c15edf8a9e1bea8157 15884 devel optional frama-c_20211203-chromium-1.debian.tar.xz d8b76cf730b3b58057a5edf95a66c76a 13613 devel optional frama-c_20211203-chromium-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmI60ygACgkQdFxHZtTK zf/JTA/9Hf56lk2ALhn7adzE3P3Na3dFq8fRcnHbwXLSm0FDKB5/QTgqQKWKg0Jw OKs+nlwrrzUgK9TiuJ76h4T2mpIv6S3arxREpRxRlNkoc+mbolJpDLPHDmtOkMF4 cb4T6VLrLLtzuTQX8CrSf0IBFZknSfZeXOXgVTwEX0vH1VyG9387I84QPXTvZSlR aAHPPLUnfbO+lr0ogVeL7+HceeF0G/g9vrZXlnl+wvRsJumaAQSM/EfeyWOltGrf 4CbsgZLIWLZsBpEq9wyUD7oAiLw7rhw3euq50kFyHjz5IOOIH8acrvznhuM/0iCD 1RJxj4tq/O9c4yrzCRs58RuHvCivYGtMzTCx/FxycWpsJUM5/1DDmqcQZZRo6bg5 C14EbJKai5pFu+ULRqX8xpnNoLhsa0Ty1xAfq8v1fUr24HCkmPcvz8K9XUWFgEmY FMpmfdRy4sYlVql3Z9UbZoRd/B63vsh/JRXw+PYJuR+FPNRs3rWhCXughZeVfWkT nQHjFRFJdtaEQzwuHQr+qKM7RTmri9B6quzT6VdoTOH7Ryr0FhHKAL3k94mtS/YV nKtkJIK8sVm241s3VT8TdyAHw91HiGlizndYKyKXmOZIEThU/lmITxARkHhg7xvF e+EH5bhwVyqhW4YQfQ8/Hdxc000Qr5ysH6pyKYXX+ub7vIr0/PM= =tgBc -----END PGP SIGNATURE-----
