-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 14 May 2026 20:50:13 +0200 Source: ben Architecture: source Version: 1.20 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: ben (1.20) unstable; urgency=medium . * Capitalize field names when importing from projectb Checksums-Sha1: 185f4e9bd5455007f6da23f23408dfe399d52f61 2373 ben_1.20.dsc a1dad879a5664345ec1e32c2ecaa80ee65d0f0d0 76296 ben_1.20.tar.xz a892368dec0f352a72e6f89e2c61188b1ed762c3 149064 ben_1.20.git.tar.xz b7a791394589b70ce2ddd4ff9ad012249036ba86 17320 ben_1.20_source.buildinfo Checksums-Sha256: d7c69f86515e54da03240c4a3d3c1a9f70d828bc7ba6fd6e96fc43cbe26b0a0e 2373 ben_1.20.dsc 53109db6e98c0fd6eb335f98161c621182251b2611d47003e5ee9e28de176cbe 76296 ben_1.20.tar.xz 4654a34e9e03408779d52f177d8110346f14f277e16bbad0c0b82278523d7022 149064 ben_1.20.git.tar.xz c92f4d5b4e0f7a051a332f41f93de78eb399cd32d4e6a0349fd3fdc841898405 17320 ben_1.20_source.buildinfo Files: 8c71be069ac8d780b443b0d3c3d8a46d 2373 devel optional ben_1.20.dsc 1f7d74bc68f83ad561ecd1cea2949fec 76296 devel optional ben_1.20.tar.xz 31d9b93d0918098b6de36a37a216018d 149064 devel None ben_1.20.git.tar.xz 06e812ac0bafd459c3731e908b1fed7b 17320 devel optional ben_1.20_source.buildinfo Git-Tag-Info: tag=c5c4f367cc2c58d1c382ceb388c6563286795e9e fp=6de24e97eca886cc56e6250e21b8eef1b1893081 Git-Tag-Tagger: Stephane Glondu <steph@glondu.net> -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmoGHgAACgkQYG0ITkaD wHl+GxAAvZDxV2uJ/12+48MeJrcqUBtjV6WNdiSKEz2MHwH6mGRxX6OslYGOy698 eG4YMfKkU3zuC+sse3VgaJ+vt3RgTwioqY4mAB9uXmG5S752xqTvu4H9LbDC9F5Y vRCKFjj9Rdrh0ZKHFDoR4EnotimQhLCVyDSLhTr2ch2UnXZ3L5O/ZV/ElCPrxeDu h/FfIQ2kCKF+JJiPX0v/cVh412LmpMZDdjR7TBQC9ocuy3NIrPwZpjqxZRPWmE9m Z1CEfLMusQB+7zb/LIBFbp4jJmkhrfHpDc2jLVfpg76l9cEmmMcREgD0o1ZJolWq EeBTu7voFUct/YIs9treRAySSfaj7uCzP9w66SmqRzMcQeQD2UBho1wZ6TigSQ5o 8b0tEkhLdqgXAXD2LQ4YglxlxSmkvIa7+XnPwCCGjgegMKJgO4pYS1ChrCfXzzRi xRmtTFhzIeQ5HqlSxUJEDl5WQ5j0htbmjNzkeEeb9UHoRt8JoSmEMOyn/FXOipFm qL6gYP4J0zGKYxJxuGTS9skPJXuTEdcN/cWsBWeR1SQJqVvAxfaSdaw67D4VzLqU +KjVSNkoTr4bq8bKB67aZxklPSmNTC/N+9ro48Hz9TGjnO9tiaKArMK5g2RoNYOo H8UO9SppZmnb4n29wSpwZmMf6vgO7+m2kveVskH3V2hSy6AK17Q= =jqX7 -----END PGP SIGNATURE-----
