Accepted frama-c 20211203-chromium-1 (source) into unstable
-----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-----