Thank you for your contribution to Debian.



Accepted:

-----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-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)