-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 12 Jun 2023 19:32:27 +0200 Source: coq-menhirlib Architecture: source Version: 20220210+ds-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-menhirlib (20220210+ds-5) unstable; urgency=medium . * Bump standards-version to 4.6.2. Checksums-Sha1: a7808add013b6407938e6aa4b37ac3ff07c83665 2145 coq-menhirlib_20220210+ds-5.dsc d0415378fbae82cfe185b0e58b1549a6136278d1 1780 coq-menhirlib_20220210+ds-5.debian.tar.xz f654a678109e5364fe3c62cd5fe8a3513e4c48e5 7371 coq-menhirlib_20220210+ds-5_source.buildinfo Checksums-Sha256: cc3ed743bd51ecbcd3e4530d851878723a76d91e40f9958bff08bdd3b64bda91 2145 coq-menhirlib_20220210+ds-5.dsc 375ab9812dc9633251cc71cf886524cfe7274470eacf1ec4f9c54ed24633c29c 1780 coq-menhirlib_20220210+ds-5.debian.tar.xz 2e1552d13080409a51a8a1de9c2ca745bf160ca7d599756c068ae4a0fb1b8f47 7371 coq-menhirlib_20220210+ds-5_source.buildinfo Files: f14a9f61823bb9209fd76229d7fc1165 2145 ocaml optional coq-menhirlib_20220210+ds-5.dsc 74dc0ce82897bd48560828b4b825738a 1780 ocaml optional coq-menhirlib_20220210+ds-5.debian.tar.xz daaf725c07a7a847c931ec2af4f1227e 7371 ocaml optional coq-menhirlib_20220210+ds-5_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVrISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRiJkP/jgIgUJ0hej1pMbEz3FudN0MXV2AYmXL swytnoarDU4RTpWuItzmyGjp6pCK3k50rOvMzVlRyWjSShzs0jUbZhtDiEyw70Ar u/5p5q5eSruxUGH8O8c77AGUfLHtj9OMj6c3c0TdllpUutRkmjSqw8lmGBZIuPna oLG7Ch9ixhalZ0hhhvaSjTTkpQprYKMcFbkAvHD0sk906Vkktqzy2x0Lx+GBVCPr MQF1Plq8eoLPvtCI/sKR7Rk/zKSnzKioC6mCNhdsiL2hbLrUKPonBEcN9aiKhqCe BbQjo1dk+eIM3Hj1Bg8bMplW9TKV0AVqpq0I7Raj375Ek+gOTNtK4hdq1t/94o9S VchVzzUCeFysHK1kTMXz5WqKxfolxq++iTCq6Z9dqPpDlcTp2TJh3xN3dd3Zktwk wKyyuxq9+sHA/EgP3glxYvhfYvU2MbDrHWhHFVwf6OoTm6PtdSxzX0/MFkd+z4mE bztyp5sgzfsniuj5+NCIl+jnTLnYbvpVIyjj1N4qa/i/0X7BUNJtrJYEe/lGTssU UDodaDNycAnzhpNSyW/TuTim7J6owv0Vl7P+V17kVUnCq4w9I9wBim+uRi80mXV0 tmN7prHLNzFPUDbJyS3yrng/WQnvQ0Pev31dJWr9h1TbNqnO5bt4Wg2V/vc0uhNg cuWwxrsXNXTI =oq3L -----END PGP SIGNATURE-----