Thank you for your contribution to Debian.



Accepted:

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

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