-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 09 Sep 2023 08:26:56 +0200 Source: frama-c Architecture: source Version: 20220511-manganese-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Closes: 1051485 Changes: frama-c (20220511-manganese-5) unstable; urgency=medium . [ Stéphane Glondu ] * Team upload * Disable Why3 support (Closes: #1051485) * Depend on ocaml instead of transitional ocaml-nox . [ Debian Janitor ] * Remove constraints unnecessary since buster (oldstable): + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~). + Build-Depends: Drop versioned constraint on libocamlgraph-ocaml-dev (>= 1.8.8). Checksums-Sha1: cff26394c95c4ee4d33c7750c0c868d7000b7053 2145 frama-c_20220511-manganese-5.dsc a6e389c92be52437df4cbf287594f23609f80c04 16816 frama-c_20220511-manganese-5.debian.tar.xz Checksums-Sha256: 3db560705f3174655ab573d980f918d29ab841483770ca4a6abc1eb4bc5205ff 2145 frama-c_20220511-manganese-5.dsc bcf844eb16f85e10f838df00d470faefe4b6be7e5cc613f6ce04ba4b76d8c4d5 16816 frama-c_20220511-manganese-5.debian.tar.xz Files: 31710fa79f6973d59126335f16d9f3c2 2145 devel optional frama-c_20220511-manganese-5.dsc 0e607a2e35db67f5a740cd31a3be2c05 16816 devel optional frama-c_20220511-manganese-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmT8FWcSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBjpYH/1McKBH/t3uw/GWzC3ZJIMb7TRmlW0p1 2ksGrmF9lX8JiTXducEYsIxWZBxUqX/N5IWBu5zOw1gpVLFGPrkAXIAIKpe0eTGe XesKDQheaBViSSrNb5khodwKu1MiOGalZ0hujcRl3pcKU0MkaHpe4pbBaptodVwW Rx/Z6j7SxKXlH7fC8d9xUeMmc1qidGoGdbBSzXAY+zw69B+WRyFH/fHgLfNUEa0D tuL2eRwMRO4IS9MGfdGKjVKRYfJgsvgrYaVnHWTSWTOSqyAGm3UVAEoXj/cqufmz IGkaCYGk04SnCWKZf2JQ6TTIzvJjtMMhXWOp1Amx7jNK3bZpOoHZ1KM= =oc4Q -----END PGP SIGNATURE-----
