Accepted coq-menhirlib 20260209+ds-2 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 23 Jul 2026 17:25:21 +0200
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: source amd64
Version: 20260209+ds-2
Distribution: unstable
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 (20260209+ds-2) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 136ce4328369c8f2eae278d87f6c949951acd0b1 2167 coq-menhirlib_20260209+ds-2.dsc
 c80432aa75b303b40d2da8e1ad96d7460b510264 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 de4a104127799c7c05bc51d8085244b1744355fc 2232 coq-menhirlib_20260209+ds-2.debian.tar.xz
 30024be077c360a5524f49596d5e6d2aab818747 6981 coq-menhirlib_20260209+ds-2_amd64.buildinfo
 2a652378a945b5b9c09eb182a6bc49ca78204b28 915224 libcoq-menhirlib_20260209+ds-2_amd64.deb
Checksums-Sha256:
 b8309c717950ee7343c06418b86210c6a2f788036ea69025e88291b88a42fc0c 2167 coq-menhirlib_20260209+ds-2.dsc
 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 90850cdf1ae828fd7155ad78872f79cd7d0dc44b1f7bd206eb362270d6c8e8c6 2232 coq-menhirlib_20260209+ds-2.debian.tar.xz
 3dc250154f810dd73374e24c5a067c2e00049941a2dec943d28260d45d5406f2 6981 coq-menhirlib_20260209+ds-2_amd64.buildinfo
 211f022bd6040e2b6241e358fa62da0c5eaf94a092a547030667fadac3a60c83 915224 libcoq-menhirlib_20260209+ds-2_amd64.deb
Files:
 efb9b326e65d17d569dfd999fc744bf6 2167 ocaml optional coq-menhirlib_20260209+ds-2.dsc
 8bbf539834139947215adf64c72b4b59 367036 ocaml optional coq-menhirlib_20260209+ds.orig.tar.xz
 628f740f9ce22381f5409cd11f9ae00f 2232 ocaml optional coq-menhirlib_20260209+ds-2.debian.tar.xz
 19f2731e5cdbb30fabaf02b9941b6d31 6981 ocaml optional coq-menhirlib_20260209+ds-2_amd64.buildinfo
 7443b2558d85e438b0ab4ab6385bab06 915224 ocaml optional libcoq-menhirlib_20260209+ds-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodLMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfW8EACHonOLq+FpdJRMqfiomKoB
9jIsZpsM+5VhCKxuqNRr4Oyy1MiQ6iCewIzgjy/CpCfkiBlWovpkbOQRBIvVuVEH
v1SmWzK7poPiuleo8naGmNcBo6JqHHxXzaEwSyjLKPczCXJ3ajjwVVpICh5W0E48
9GViJONCjWMFpueiIta1feYmtD2ugrUrv7BS156lTTZWVN1GyCVH/naR0A25V+nB
KLtfhobpE0PhxQgdtnMWyxJJxuGVKhPfhe3i9eGAElFmQZwZul69Xx7+20ZKSlC6
FD2onylsPo6fwA75CTv+s0GxjH3ws/DgSl6Gt1gvIA3sDlezKCV9PG1brGwC5ieg
wjhLXBCmqueWy3GTrMv6qhCH1V4CAEQRCAyYRhcA+3y5QeuOkJM9SCAIIZxtYxFD
q7RFMUBQDdjddno+HPTZ7IYHS+rZ3GocVA/vO2+2hWeULDQ/TeW0bqIBEDcSmgS7
9olIwFLnJeq1UuSFhjvhw1b38xcUKl0oaod9hAc+I3HVa7novMNar18ENSKWkJ27
/tzZ3lmX9akDowCTIZYrjzgzWZauL/8pcugsv3HrVLrZaIjseK+V9kNWDgLS6Gih
Y0eR9OOkWBa5wzBb54ikrdrEc3aFqTakoKHd5j0fj9AaUo8ogv2ZrHnaq+h3V7ha
xzZAyeE5pNVIbxl2y9wfCA==
=ywtq
-----END PGP SIGNATURE-----