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 <jpu...@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-----
pgpsBbpF_qpsz.pgp
Description: PGP signature
