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

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

Format: 1.8
Date: Sat, 20 Jan 2024 20:49:01 +0100
Source: coq-menhirlib
Architecture: source
Version: 20231231+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 (20231231+ds-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 5cd1bbd1346b0e83c1889cbfa0b0859aaafc56da 2145 coq-menhirlib_20231231+ds-1.dsc
 fd21c6627e4a903759881b29da00ed32ea5d27e5 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 c83c2567c588188b39a3ba4c37220d7b90fa87f3 1932 coq-menhirlib_20231231+ds-1.debian.tar.xz
 523adb308a727223cbe08e64d754bbf2d423d006 7943 coq-menhirlib_20231231+ds-1_source.buildinfo
Checksums-Sha256:
 d4366ed620531596f993bc3f32ee06166737d878dbff6afd79588b07c1aa63bb 2145 coq-menhirlib_20231231+ds-1.dsc
 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28 45092 coq-menhirlib_20231231+ds.orig.tar.xz
 64647a3bd1f26c8768cb0c502172eb40d33a6463366586102916724874829435 1932 coq-menhirlib_20231231+ds-1.debian.tar.xz
 06eab8663c2f137ddfa9118beac84ea3dee4072b6e55e7459eefb99e3688b471 7943 coq-menhirlib_20231231+ds-1_source.buildinfo
Files:
 cc0f4781a851c7a8aa103c3c49ba8c76 2145 ocaml optional coq-menhirlib_20231231+ds-1.dsc
 3bbfcbb365fc19dbf12107723ff7ca17 45092 ocaml optional coq-menhirlib_20231231+ds.orig.tar.xz
 362d09b737afd21133c979c8684adf75 1932 ocaml optional coq-menhirlib_20231231+ds-1.debian.tar.xz
 a7b1858c1baa48ba283810aa933ca0bb 7943 ocaml optional coq-menhirlib_20231231+ds-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsI8cSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoW0QAKDVBvR2eaq3ROMOk5OdyhZ5nwlPI9xY
SS8i56Bs2OHwBD/OqOaKGY4k07KJc3IyHFUftuhgLn9YNA6OkBzXw6lgNkIoiXMD
p6cLnpoS++Ko3qv2rAqoG5mq1ZmqT0w73nIX5Iqj5R1i5cVMwACjnv6FxsE7i382
e0wIEJo7RLWxiR3drwdsqFTv87Wyef41Jbzhp5rfybP2Jaq14L081vS45T2qr/st
VmLGTJYCsXdWFpqwr0rPc6v7S3sjbYDr4OCyXeJ7qGfEpA/1316E4iGgbaQyd3uT
2HCqESqmwALxg5rkOEbh9BN2KKxgMsmt7DqSkovAYdX+5aFNvxVV4QXdYSCvUE1r
dopXaTTCKUMSXs6p9ZS9HtU2a/4SiI90/Ze7KFybxSzJHlgTumffUT1V+wFIb0kq
nP56bchaInmhUyzKFo0Fg4R95hFbs9pY4c4XlovhRir9pGbOiuK1dJOJ9V+4t1NG
FTfjldrkNgGz+sLBbsspCPyId+Id9ruCbfWxfqT/sh10hch3ytSg53OsgACA9LWx
5121E+G84DyFaWu0jpBicBHCSFVEFIXHW3vFboO0mEXsxeQsTYavToIKDFJczXNX
hRBFc37fgtumvhVT9st0zZ45IwWvCViXRwqiGLPctqDZBo8hK47CXCkXD1suqXAz
zAI7Anho1bTY
=dk3a
-----END PGP SIGNATURE-----