• frama-c_20220511-manganese-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Jun 18 22:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 18 Jun 2022 19:39:11 +0200
    Source: frama-c
    Architecture: source
    Version: 20220511-manganese-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org>
    Closes: 1010867 1011892
    Changes:
    frama-c (20220511-manganese-1) unstable; urgency=medium
    .
    * New upstream version. This version is compatible with why3 version
    1.5.0 (closes: #1011892,#1010867).
    * Add build-dependency on
    - libppx-import-ocaml-dev
    - libppx-deriving-ocaml-dev
    * debian/copyright: drop mention of plugins that are no longer
    included in the upstream distribution:
    - coqwp
    - ergo
    * Standards-Version 4.6.1 (no change)
    Checksums-Sha1:
    7b19fce199137b067a484bf42834eaf8eacb8741 2426 frama-c_20220511-manganese-1.dsc
    94cf9d19d886ee4228695259c35b22d4202656ee 8074351 frama-c_20220511-manganese.orig.tar.gz
    36535a4c3a4f630b872ef1b438d05c51ef16b3ea 15808 frama-c_20220511-manganese-1.debian.tar.xz
    0a673f766ef6f6cb45ed827e9e5342efaeee48bf 16133 frama-c_20220511-manganese-1_source.buildinfo
    Checksums-Sha256:
    2fe31ba18860259488b283916d286c2141cd520aa58f24798573bf00a75b7e4f 2426 frama-c_20220511-manganese-1.dsc
    5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
    0c88bbba7746b6634d457d307d7c2d3133967c873335db4bd217a337c8f39fad 15808 frama-c_20220511-manganese-1.debian.tar.xz
    73b64e0d025a445a69f9082f6981d0c81190086be47cb595f4666a721cbbb5ad 16133 frama-c_20220511-manganese-1_source.buildinfo
    Files:
    86906e04491c5f53097306466d29324f 2426 devel optional frama-c_20220511-manganese-1.dsc
    9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 devel optional frama-c_20220511-manganese.orig.tar.gz
    f66d24de771af0491b2677c367018c92 15808 devel optional frama-c_20220511-manganese-1.debian.tar.xz
    05c0a830ea894dec69c60c1d4aaa210f 16133 devel optional frama-c_20220511-manganese-1_source.buildinfo

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

    iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmKuJMEACgkQdFxHZtTK zf8INw//Tkm01G8nms7OUPulbnkBwoZfJ3TyD+dLKvn+itsjdMilO0gh7ZTkzYyN xWRpxPkOR/Tb8/UcGWKj7qghyVWjMeMb5OuofbVAld2xVklnu99dz3QigAlr1vkc eMM2lVz7L6jtxJzQcu44/Iv581v71pEKHVyMJscGZDYvaoKMnAHFZiTYwBwlEL/5 ay3/7ezdK+vRYtuFrWEIriC51KeZw0Tf4BXsKZnV5f/LsIVXOIa3NDVxhPSrlNM9 yXtUVXWPxHFAeVBnUJkqRfL32HoaQvsvKNcYFhHP8jABjm9cCMUImZzaqj9d9HI3 6frw9vxTd5v5f6siLdxblFY4sSXsKMKsAhvg+XvvMJRqADLunVWt8Rtmp8gFCcqn +Nd4N0N2Uu0/TjynHRmAWPrpFutfNgPOCo9lzOvJ434p9+HIEM3VcMX2oFcW6bmE 24u1RrurUv4JYgdpKwXdSmRfQo5JFa08O66z8BP1+O4rPA+clN4o9Cora4izs/Vb a9Waepu3jmca87CcNzB8NczHZT3u0ZdQU5MEBaGvQsQdbsvOKsWGkepYbvHDq7RQ 3X0z9NaldceW18F8O09nOM0L/SwJEh/7W+m57U3uG+HTyixE2oS5AI9y6WNCWRAr I0lWbQs6eGOKJO8OJDTEN+VJEzPW+ITEym97RWe2n+qYoL6Qfis=
    =6/JI
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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