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

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

Format: 1.8
Date: Fri, 26 Apr 2024 15:42:54 +0200
Source: coq-menhirlib
Architecture: source
Version: 20231231+ds-3
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-3) unstable; urgency=medium
 .
   * Fix target distribution.
Checksums-Sha1:
 f3cf0f78590d3779577e576adcc8a0f7ff9a1a3d 2145 coq-menhirlib_20231231+ds-3.dsc
 64901ce92a13c8985b4f1786c442c7f5a8a1e5ae 2000 coq-menhirlib_20231231+ds-3.debian.tar.xz
 0d9bcda0d913170faa582e52497c055e739c402a 8158 coq-menhirlib_20231231+ds-3_source.buildinfo
Checksums-Sha256:
 b2f4b233543ae002e5ebfdab0570fca3524cdb46b055e391d748c22a0eed69a9 2145 coq-menhirlib_20231231+ds-3.dsc
 459611ee3b8a6f03ba4cd8184cf3520f160b93007065574f97b869ae9666aa0d 2000 coq-menhirlib_20231231+ds-3.debian.tar.xz
 428317112d652af5719a5dbc71b739ac98205b6947a94ac5a4376179b77a16d4 8158 coq-menhirlib_20231231+ds-3_source.buildinfo
Files:
 9020fdda84ff6d356fb2dd1fa035f5c2 2145 ocaml optional coq-menhirlib_20231231+ds-3.dsc
 a1fbe637f0cb46663b96676ad3f228a9 2000 ocaml optional coq-menhirlib_20231231+ds-3.debian.tar.xz
 9bd6ddfdf23d6febc5dce24f48150b44 8158 ocaml optional coq-menhirlib_20231231+ds-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrr6ASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGC8P/1zSG78cC8FyIac38D8b8BzzbCMjmvIT
8RjCV8bENQ6AjgozTwbxb9vGNWm+YTlNrTXdKUH38/HD+U+ydUAIp59cyVJJtErU
eq8FrAmgc0delHgsHc1HWjktHIvv4OhAK36vcuFjsEUUW+IHDJMI1otydcZaixG8
4yKcnIFz+mqA1xb85jCmeXmOMhir50+5yVF5QTY3jF+CF3cjA9cGo/jgKaS5rgBZ
/67Y1XBSc8+LxnMiW3MLgi1ku/xO1R9CNS0cH4isoDpyR7Z+VljsxMJXtDEwsdGg
tPIgjzB1tSzeveDJHa7jgUwsz+7mKlXq28VQUfxcFzOElpuyZiEN57mBd5Gqg2dT
+G5LDM9nfHW5bvqtaY752srA7Wuud5CwsVuiZtIfU5k45tOo0UCjv1GSoo9Y+10r
Q4WHyXj3vAazkYq+1poit79miuHghqC+fwefVx1xNbeNMwPLrOZZtyFIP60mdzNB
2JPTy1R9QSaUxaqdr+Ymj6khizoZ1CygqgEYVlAH6ImFdFFXrSPeLb8aN8yltmOY
ZW9ZPFw5s8uJZyAye8D2p3fFNFL9Ww7WvAUXGzABOBWeQRcRTH7VOsJ0YoAOlNGQ
wLR3dhrbGHIr4si5fJ902qKslhBzOxE2dao2vyS59wt1AJE6kqpvmQfwA//ePyXn
LJJnguK2sy4G
=W2q0
-----END PGP SIGNATURE-----