Accepted coq-menhirlib 20230608+ds-1 (source) into unstable

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

Format: 1.8
Date: Mon, 26 Jun 2023 08:02:36 +0200
Source: coq-menhirlib
Architecture: source
Version: 20230608+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-menhirlib (20230608+ds-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 63a80389bb91662b608402b21aa00a2b1ef96d6d 2145 coq-menhirlib_20230608+ds-1.dsc
 9679d3337880b34ee7a9c010e32ee4dc62c68c3e 38088 coq-menhirlib_20230608+ds.orig.tar.xz
 47cf1e85cca25e6cdfa43c2ab8cc996281a9d783 1808 coq-menhirlib_20230608+ds-1.debian.tar.xz
 cfd557e6099709f43b1d468c2f660577e88116f5 7441 coq-menhirlib_20230608+ds-1_source.buildinfo
Checksums-Sha256:
 476749fec788f8ce873401772a947ac98bad116204551ab44dcb1d6716479a8c 2145 coq-menhirlib_20230608+ds-1.dsc
 0030704e098ac4639d2937d6979eff163d2a41db02d2c0cc4d023f160fce71e4 38088 coq-menhirlib_20230608+ds.orig.tar.xz
 c02db324995e76210f8502e01caebbc077603e37cae74cb8ea0b7437603263a6 1808 coq-menhirlib_20230608+ds-1.debian.tar.xz
 46aa14fbe4c95ef5adbd8fdc1567ccbeec59c50681fe08a91fd25240e48cfde7 7441 coq-menhirlib_20230608+ds-1_source.buildinfo
Files:
 881710bc0c518b595633bb5d80296754 2145 ocaml optional coq-menhirlib_20230608+ds-1.dsc
 0c6ea41f886c2228e3fcc3e331d94a7a 38088 ocaml optional coq-menhirlib_20230608+ds.orig.tar.xz
 fb0bc96abd8cbec2d6794b3db6ff6102 1808 ocaml optional coq-menhirlib_20230608+ds-1.debian.tar.xz
 9fb85574f0311e012f36bef5081a5190 7441 ocaml optional coq-menhirlib_20230608+ds-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSZKggSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFCIP/3X92KZsTNPqHoGpSmC3LMz5N1EME+3Q
GqnacwyP5g9pKzJ6WLMJMKA16+Ul2PPoJDjEtMz+6se0ksofZKlJ2m8e924ATo3P
FkHS2WDDRilb1rOKjCfO/zTaIswvdUZeJLL8fidbvY9HK5YOiZo+WPs5Fj2G7Tqj
A1P11J63vVcW7oC1FKCmPUo+tC0bqlE5iNtN1Roa/OwfIaUvCzmh9jNf1m0wljae
aqVabvSJOBHOsfpiQixZ4Kw5Ab0/bYYOalPDuKYg5N3/gYS8Wo5vla34gzz5Xt6N
FysFb86QDWVW+aD3FQHM3H84TCVHLIRcviIePvzQ65NWHjA4W4ywriWb82/xUJgC
wUMkKMZx7LByzD7K/gpKC7kXsA5Io0mfVG6cejzr53uNDS8QLEomUlcqzJ6ayuiE
Mqk3GkZvWRyAfz9sx+aZ7lLnq2ZT/RqRdi3n+l5oDwm8lYRZmou1jrPZsw9a0Rej
WjpNlny4r/SzHX8fvl2ou7IzNrqHl6Do6QC6bUbd5wcuiQEB+DBMe6F/8zFvXS5j
oh/gliZ1ubn4uMP7z1/6eeHV9Pn3MmprZWrIsnzYn67j6G1+6pXse1q8C4NR2JrL
TOb4/vVsES3NI+8ymsqKLhy4gZ+On7rVQu8eMkgs7akuPeMLFvZ29tNXNWORFfgx
IOfhQvt2Wypx
=RnZt
-----END PGP SIGNATURE-----