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