Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 06 Oct 2025 08:37:11 +0200 Source: ben Architecture: source Version: 1.12 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Closes: 1117440 Changes: ben (1.12) unstable; urgency=medium . * Fix regression in "ben query -s" (Closes: #1117440) * Bump Standards-Version to 4.7.2 Checksums-Sha1: 67715e0e9f9c16a9bc366c189160caa73abeb0f7 1898 ben_1.12.dsc 9393005693a9e64b992391f4189853a6fd3af59c 75824 ben_1.12.tar.xz Checksums-Sha256: 2bca94163f44d1f9d6c406af9fc3eeebd8d11307c8280214ee77b3e52224cded 1898 ben_1.12.dsc f185eb9601706428411e2a25ba68645432fce2594884e9e40f852b954eac3d72 75824 ben_1.12.tar.xz Files: 131abac99b197b78394782db44715a49 1898 devel optional ben_1.12.dsc 2b23d50ec9a4f3ca41b4dd6ac7cc9b52 75824 devel optional ben_1.12.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmjjZM0SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBMngH/0MhV06wDq4eYEyQarIUJzGHx/OR9rRJ 66+VrNMiHrtLWK7hbXoSTW/7LPW5fiIjhyElrat8uClTB21mvXgeIPRNd6keaxKf hmJ8SFjaq+5NrbLyc1UA0h9Vusd3CsUtPXDoZW6OVeNyES/sLAYspDcmxa4O5KSo YpUMprFo5R6PY3fBY9PL2KEvvZ31H/2rjFRv2rqvU8gIJvRfp9DmHyKu5PwKchRD AOyGzuMioklu6NA3D/vrDlwxdGGM+3szH8N6RdAy0kvvpFJ9TPuILdb8BUoKpOvH 8/LDs00A03i9taDh2x4FtN0k0oPwgw9gtr4GpUVBNbo24EQEemwRuGw= =L6gO -----END PGP SIGNATURE-----
Attachment:
pgpVujq2FT4aY.pgp
Description: PGP signature