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)