-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:31:03 +0100 Source: coq-menhirlib Binary: libcoq-menhirlib Architecture: source amd64 Version: 20250912+ds-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-menhirlib - support library for Coq-verified Menhir parsers Changes: coq-menhirlib (20250912+ds-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 4db8ed7ff7ccbcf4de5f7188e987337889bf9e19 2164 coq-menhirlib_20250912+ds-2.dsc c788af2b7d9807a276c70645479c0110b9fa5f21 2256 coq-menhirlib_20250912+ds-2.debian.tar.xz f9dead704473451399e6e35b61a33df087b28f13 6870 coq-menhirlib_20250912+ds-2_amd64.buildinfo 90c13f7c3d2a215707ae4cb68dad6c3ebb2bbeee 914636 libcoq-menhirlib_20250912+ds-2_amd64.deb Checksums-Sha256: b3fd8a6e698b0441452ce41b47cfd672d6d12dee4cbeb3182dc83c76c19dd283 2164 coq-menhirlib_20250912+ds-2.dsc 43a8f0bbf19980310996ffabae77f3a3666d6ceb6899a34c7cbe7769019404e7 2256 coq-menhirlib_20250912+ds-2.debian.tar.xz 3a0a676a3c67f37f5e1765e141fc1d7fab76ce1f8d07544c99c62cded24fabfd 6870 coq-menhirlib_20250912+ds-2_amd64.buildinfo e843128696b2a17b13f0a947c5f3c133d6b66915a35de52380165183dff1f5c2 914636 libcoq-menhirlib_20250912+ds-2_amd64.deb Files: ed4bdcde5fffc9fe131411b13d27fa8d 2164 ocaml optional coq-menhirlib_20250912+ds-2.dsc c78164a09d7f490bda41122382388399 2256 ocaml optional coq-menhirlib_20250912+ds-2.debian.tar.xz bd48fee6d7a1b43d3cb621be6e5c8c40 6870 ocaml optional coq-menhirlib_20250912+ds-2_amd64.buildinfo 789143e36d940d429799a6571f9eece3 914636 ocaml optional libcoq-menhirlib_20250912+ds-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTc4EZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQ/0D/0WtbSnRg8yy0jWryGgBFsY UYPoMWX4xCRejkzH8O5h0ThwXN9+vv4rEdUvwQkqS4ORe5dm3uBIGKpad+gM2yFV k78WoippG5lzRcLeazhDX//nC9LJtjVM7AKCblRbRYcic6mtjdFissetjtCJSVmt odTAiYIekWieLIqvZgq0aJQzzBVxvx5oETdi1b4wY/LUzooMlRqWhbJ+Ly17p5TF AMxZ4G5tmZmUV5pqqRRLdV4JdNBCNLsHUAv4YZzFPq/2K4WESNKgDg13ZUV7/kiW jVQ0oV9Wqp/TL475cV1hoPMFxd32u5D4GW1w7SASMx6Ptb4SmkheMdkg25DcdafN I0m06lkodCNYbbIZm8YhFnCXRvIGJzYgo+0LfGvTrztlbqHFzpDQ03YFD1OgYf5J UZQn4KxetgNLo3aZtNSNYOhVl5dMW3mEeaQOCATYsEdM7JOOpu3LlcB+XMd9cTIP /tJbldGo9cqogCo1Sy1mNPyE8cSFzSXeUusnsJ9qzenfcDswwthb5NXzDg1Sv+4F Bn5SQF/9sqKlRNmoMvr6JBGyrtnrIOkxZ3GiKpC6PauPW+QZO6M6ssLPRxJj1xm1 K+CQrAwoLH/QKeYa/tzBVWGHaA9IRLsxsjSGJZUAbEj9tOnwMsHS2cKfLWhgMHeo 0ijBAqnpO3Eql0+XnpeqJw== =0ThD -----END PGP SIGNATURE-----
