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

  • frama-c_20201209+titanium-4.1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Fri Feb 12 21:40:02 2021
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA256

    Format: 1.8
    Date: Thu, 11 Feb 2021 23:09:31 +0100
    Source: frama-c
    Architecture: source
    Version: 20201209+titanium-4.1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
    Closes: 982148
    Changes:
    frama-c (20201209+titanium-4.1) unstable; urgency=medium
    .
    * Non-maintainer upload
    * Fix new eva test dependencies and return in case of error (Closes:
    #982148)
    Checksums-Sha1:
    102a7284bf61c80d35b1171b0eeda2faceb03f0c 2375 frama-c_20201209+titanium-4.1.dsc
    4766c58c367ce356ad1bdfff6ee72eec8656fd43 16160 frama-c_20201209+titanium-4.1.debian.tar.xz
    1a87ac53e4a0b5c8a2642fac9d33bf59136d3991 8705 frama-c_20201209+titanium-4.1_source.buildinfo
    Checksums-Sha256:
    d88bc2e3fbecb8b5495fa8ddb3eb9b8233bc99c3a7d700e7d463ffe4d22f1504 2375 frama-c_20201209+titanium-4.1.dsc
    c5c26956905f2c7f1d30158cabc7961e0ed3e19fe8789221f45612df63e7725c 16160 frama-c_20201209+titanium-4.1.debian.tar.xz
    a369609881b67807317773da86730b4f09f110488d5845565f78f0d96a3f12b9 8705 frama-c_20201209+titanium-4.1_source.buildinfo
    Files:
    2130888c5bbbd23e51e966dda8de89a8 2375 devel optional frama-c_20201209+titanium-4.1.dsc
    de0d6c093823982c2dbe2b6ed822363d 16160 devel optional frama-c_20201209+titanium-4.1.debian.tar.xz
    5f9e1a1ad69506e7ba4d9ab26ec783b1 8705 devel optional frama-c_20201209+titanium-4.1_source.buildinfo

    -----BEGIN PGP SIGNATURE-----

    iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmAm22UACgkQ808JdE6f XdnsDBAAynagkidFXt9cCuWcx5YnIJkiPxQ4FnaHV+51rxcvJzwJgw2m3g5hzC+Y fMBKeikwi2vLSw2wBC81KY+VQIhxOPA1nXP35x1xZXMl/MafBSmZndYslL/NuMAL b0WP9LcZijxRcfbNPLml6EvkEQ6TybzULMsKhkCXPO0F2oUs7VoWbdcIsXgWzYhd eol23NAnvGuLIz1WZVrBn2QAoEJ8SKB1obIvU18Rz16oXNGM8Ovva2Kt4YE90Ft0 qWE8eDf5S1zuxbBr187MUjTgkmOH5oUXeTHjlGTTMvEHLKr2n8A/7GeeEGiQkmOm MD+R4R4DpKLQ8mh0zLvOTN7ifdm9XNB7pXRiYW3TbXJNkBu1a/qH102gZOPqoCSt QZse5SJ/Jq+arUzMLV8JhVMxSV7CBg/0w2KpGOdRmKuxzaoGe0L0XcWE4HvWNc8d RwuPJnwhQmqnsLxo8FlYcwW6EIY4qKaeBlNsCbMIqTcW3AKxETWcGpoSTgqpkWUF AMq1qu/K8rq4FsIncSVY7byCafQqmqhab8bjro4Zsf+g6GcuCpDUBdDmIaDdIVqG u9lDx4mfuEbkvuT2o7FitZdKW6DaM7Ld2tfK1zxlI98Rcy+3OBHgfwkvuiKsihBb zWKxKs9vF99F6rckYbqBhrHwi/aogQ0fT7umPplE6i0/ZyshVBk=
    =rZfl
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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