Thank you for your contribution to Debian.
Accepted:
-----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-----
--==============B50686317834308037=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi0UtQAKCRCb9qggYcy5 IatOAQDkWpEPKDrKABFzcyfrdHF3UYcUCazM0n3xAJt3nVnF5AD8DdRsd5RYCIbY sSunQgX58FYg+C+YgKpCrfnEUG9KjAI=W+tv
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)