-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 27 Dec 2022 21:00:26 +0100 Source: frama-c Architecture: source Version: 20220511-manganese-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 1023712 Changes: frama-c (20220511-manganese-3) unstable; urgency=medium . * Create a versioned dependency on libwhy3-ocaml-dev (closes: #1023712). As a consequence, remove dependency on libwhy3-ocaml-dev in the tests. * Standards-Version 4.6.2 (no change) Checksums-Sha1: a85e80371c3d63345d9c4a65d58294c2bf60da92 2407 frama-c_20220511-manganese-3.dsc 475924960094539e4fe94290c7b595eb8322164a 16200 frama-c_20220511-manganese-3.debian.tar.xz 8b5eab2be1cc039adca5ab64e13956aafb244580 16723 frama-c_20220511-manganese-3_source.buildinfo Checksums-Sha256: d57d4a2faceba559cf461a1b146b7774fdf27c9a2802c8db0f637635205a965c 2407 frama-c_20220511-manganese-3.dsc 1811f59a32b2d4fec3e2aff223fb13f4ec8c9a097bd1536cd4be1bb2e956dbe9 16200 frama-c_20220511-manganese-3.debian.tar.xz 465603f5fbe682045246fcc3055923468b6584b2553efbc3c8c107311e9ae96a 16723 frama-c_20220511-manganese-3_source.buildinfo Files: 9cc2dd85f24b9a840d2114981f12aa73 2407 devel optional frama-c_20220511-manganese-3.dsc a32f321c9473966208af467abba35c1c 16200 devel optional frama-c_20220511-manganese-3.debian.tar.xz e7a82f9c3f6a02cf94594088ced80dd1 16723 devel optional frama-c_20220511-manganese-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmOrYPgACgkQdFxHZtTK zf+iZRAAgaPbKJu5seMHo9Oi6ChiGK/VYe76iV8Rkfo96JH+xaGvf3YI34oTC54o bSxudhNNHxIfq0ZH6LyhgoPHyDGh4fI4aE3OsHyaFH24fAx+JzagUlHwIWu4Q/fo YoJXMuHzQJSoOwhuyeKGQ22mKGPIdX38KFrtZT+zGUTPBiYQdigvBBzdmsu5LXZT eNPMTsjv/HQkW04+Yk8n7NNl4uh3fUnHcWNMRS/lzypGN430o/Q+UclmAcKdlaNF LLosKoCh3PpLQdJ11o7uYZQXp9QC1KJ6Rbm0gm7y5v7Jn3PuYZ0Uv4PiJ1oAskGC LEuNC/6JgqPrzNKmybK6n+vcOCncwJKzDuBh2EniZ7inW7yYlKdHT8MMM9PL4xzj ZfE5Aq86x1HXUL3yAc/cb+mKuG5CgfDe7LdoBtbbAH1MkzASgpVuWvkYkMzqLy0r Q9xq8cvzXCn8rFgPNCp46eLmm9GbR7Zcu61TfP+nrDevh/gst8DLSmeS0SNAOCbm PicCsf7w/3aBTRUZYkHGjvvUISSBKysg0CfeJ7IU7pSpoB5Ge9EA3xprwPuG8rRW SILRtSzMzn9TudjTkFJ8R8MFVade2PsWJgFnq5A0MXOFQVzsstZneeWNXO+C/96K 8XHKfxYuj+qHC49Dz1iyjRbeLHqrxzf5q/LhsgYZFCDOsRKtMiM= =ZTaO -----END PGP SIGNATURE-----