Accepted frama-c 20201209+titanium-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 08 Jan 2021 21:32:55 +0100
Source: frama-c
Architecture: source
Version: 20201209+titanium-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 979569
Changes:
frama-c (20201209+titanium-3) unstable; urgency=medium
.
* Patch 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar.patch:
fix FTBFS on bytecode architectures (closes: #979569).
Thanks to André Maroneze for the patch
* Add Recommends libwhy3-ocaml-dev, as it is needed by frama-c to run why3.
* Test wp:
- add test-dependency libwhy3-ocaml-dev
- run why3 config
Checksums-Sha1:
d3798960a1951d34a589d4b2b4987a49eb4b3515 2367 frama-c_20201209+titanium-3.dsc
97aabdd2df5477d3366b9127e0fdfb6ae832e7cc 15924 frama-c_20201209+titanium-3.debian.tar.xz
a52e44d3c6b8939852e12861c0cd679066116baa 15723 frama-c_20201209+titanium-3_source.buildinfo
Checksums-Sha256:
72f884ba7dcb8fe28951899f76f015c07c0d826c84fe1149e94eaf3eb8c99911 2367 frama-c_20201209+titanium-3.dsc
cdb46bb4b366829f2083666d12975ec3dfb159139f243a46ac08483f4b244e88 15924 frama-c_20201209+titanium-3.debian.tar.xz
01b47ae4b32bc8cb89f6dbbed22bf0eeb0c6745185125cd823cd4a44a3ba0877 15723 frama-c_20201209+titanium-3_source.buildinfo
Files:
95012496c270a37380cf9a31f1dae33f 2367 devel optional frama-c_20201209+titanium-3.dsc
bc1250ec1e3442eefaca49f6e419b96c 15924 devel optional frama-c_20201209+titanium-3.debian.tar.xz
12c17ba925f16280694398cf8e2c46a5 15723 devel optional frama-c_20201209+titanium-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl/4yPsACgkQdFxHZtTK
zf9sgw//WqwYOGc12KOTawzpk9dMxa/0nEi2IglH14GvJ1GUtH9S8SKqgsXH2MYp
jQVY1PhcQUGgQSD8SG02Q1cqsBoRQvsIeQALsHg5qgUcxydaCsaGDp2LbKotq6gl
26MRHka4hlrSZIpy/b3hwG5tVhLHRPruXRDIXtCRXqcdwN4K9YAggW4boMqtqLRJ
RZZ64OMociF5mEnbwhazkFziRSnPLYE0N4euEgVmqgAtLwGsgurkhBdnnElkNNpK
2FWDb59uYuY7bS5HH8irBXfXByVtABm60SIMu2oEHIn3rtVTaLowZnpDxRnZENp9
8mQGmZxWmwn+RwI2qPKBwFeGMmGtW4hiCuDoZN6aO8reHXY6OMZP9asTRq9qS5lZ
qyAVzxrBRWMM2KmoxluJ4a7oTvdxEihEtxpTisu9GEjWta3YCMcckOgYfelu8rzE
dTlyImrDCPbZY4dD7rBWdgHUV8BKiKpnEFXTwCvOuOE+uNZD7qfxqSiNvbQznC2a
HAUCWVm5+NLCTSqJINHcJitb/Q6lCzpJFsnwGtigchz4LCnYxCWE7lDyUCJijTb0
KFfiGQDuL9pptakI7L1nTzXW19/vRxwO3vpmOSXITofVf1B97aJOB/6CLFigqBrl
gxyif6CHaAmj3oHXNFQaHT1KNSBeKeLF3+KhKJaauOZb8B0+GF8=
=2xtn
-----END PGP SIGNATURE-----