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

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:47:03 +0100
Source: coq-menhirlib
Architecture: source
Version: 20240715+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 (20240715+ds-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 4813f51ad0f97fe381915512a0d299af8ddeee6f 2145 coq-menhirlib_20240715+ds-1.dsc
 b940a176cb2bbe1feee6a4839a5638e1c5ddb480 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 231a26dbbaabf579a02f7830ec669f4884904f95 2128 coq-menhirlib_20240715+ds-1.debian.tar.xz
 86187359046bb3fa7e7bd3be5afd4b20655da0c3 7164 coq-menhirlib_20240715+ds-1_source.buildinfo
Checksums-Sha256:
 6985d1bd600cd74da03ea0edde55102b4242502ca451813c927107ede2578c68 2145 coq-menhirlib_20240715+ds-1.dsc
 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 897271ab836ce99f79592604828c02f0498f59712e3c979bb420b1736ebbd3cc 2128 coq-menhirlib_20240715+ds-1.debian.tar.xz
 954f26ce50b5b15026be9fcde7486f89221e441b1c12505cabcb509f4d6631b0 7164 coq-menhirlib_20240715+ds-1_source.buildinfo
Files:
 e3041b24a5b26145fef4ef3671c8ee99 2145 ocaml optional coq-menhirlib_20240715+ds-1.dsc
 8c093ba47caeffb5c00e22c8418e6edc 45112 ocaml optional coq-menhirlib_20240715+ds.orig.tar.xz
 0dad72bbc2155c591537aa0afc8db311 2128 ocaml optional coq-menhirlib_20240715+ds-1.debian.tar.xz
 acba019a1f0753b0b70f10c5f24c3ed2 7164 ocaml optional coq-menhirlib_20240715+ds-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sDMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9nEP/jy+/mY1wdfqYrLgHY/hDwo5XmfziGV+
5HDzDb9Yj9SnJ7e4VHWeOFeb+cCyvh1Ecxm1avjqDVqRAX/lYfX70GYgBP2pS1Fu
v1PNx88BrhameLUwt5xAniu8x34hrPBQOua+nyBlJEs40KMGoPovREzfugNdm36v
X3qHbDTYT21ldhG4umu2QZmdEZ3e0352nh06VoxLGFhTOi1lAjIXFUFAFM+lR06E
9/P2IFX2w28o1J6uqvfa11nK2mukiNkOEQNEkZjEWP1pKbXXQ2gB4IWKJ1gFQnSj
RxzVLz+1IUZhtDvm92+JVmEUTUp2W5dey+5M5MSM0mto7lAN5vZzNUykZdBA3zXr
Osleu828AWH4Ax3S16cLIiiZaeZsGmIjYIocSI5eCpXFF4Jqk7896ZOYKsFMsnGE
izddWcdSihJBt8P5o/Crnw9ktLUxKeXd/mGiDCkIoJB8eCtJ0hXvQ4OqiGVHrWtf
F8TOaFxknbMxtlwVQWtTRHHqX7F9bK1tSO4hx1ydrFbGc0STIGr1tNAFTvl/Mdv2
kQvlCWG1MYZoNArRDV5QHzGyf/K5D1AQjNz7ij0xgB4VlRf9WMRK0kvyo4CYdfHw
CoT7CsrVW+WtlzYU6r4aOWyp93EdsV8b7WhMn8+a7io9Zy9qXivJpqrZjlIizcW/
3ATiYvmk4sa7
=YucL
-----END PGP SIGNATURE-----