1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • frama-c_20211203-chromium-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Mar 23 10:00:02 2022
    Accepted:

    -----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-----


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)