Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:47:03 +0100
Source: coq-menhirlib
Architecture: source
Version: 20240715+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-menhirlib (20240715+ds-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
4813f51ad0f97fe381915512a0d299af8ddeee6f 2145 coq-menhirlib_20240715+ds-1.dsc
b940a176cb2bbe1feee6a4839a5638e1c5ddb480 45112 coq-menhirlib_20240715+ds.orig.tar.xz
231a26dbbaabf579a02f7830ec669f4884904f95 2128 coq-menhirlib_20240715+ds-1.debian.tar.xz
86187359046bb3fa7e7bd3be5afd4b20655da0c3 7164 coq-menhirlib_20240715+ds-1_source.buildinfo
Checksums-Sha256:
6985d1bd600cd74da03ea0edde55102b4242502ca451813c927107ede2578c68 2145 coq-menhirlib_20240715+ds-1.dsc
132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
897271ab836ce99f79592604828c02f0498f59712e3c979bb420b1736ebbd3cc 2128 coq-menhirlib_20240715+ds-1.debian.tar.xz
954f26ce50b5b15026be9fcde7486f89221e441b1c12505cabcb509f4d6631b0 7164 coq-menhirlib_20240715+ds-1_source.buildinfo
Files:
e3041b24a5b26145fef4ef3671c8ee99 2145 ocaml optional coq-menhirlib_20240715+ds-1.dsc
8c093ba47caeffb5c00e22c8418e6edc 45112 ocaml optional coq-menhirlib_20240715+ds.orig.tar.xz
0dad72bbc2155c591537aa0afc8db311 2128 ocaml optional coq-menhirlib_20240715+ds-1.debian.tar.xz
acba019a1f0753b0b70f10c5f24c3ed2 7164 ocaml optional coq-menhirlib_20240715+ds-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sDMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR9nEP/jy+/mY1wdfqYrLgHY/hDwo5XmfziGV+ 5HDzDb9Yj9SnJ7e4VHWeOFeb+cCyvh1Ecxm1avjqDVqRAX/lYfX70GYgBP2pS1Fu v1PNx88BrhameLUwt5xAniu8x34hrPBQOua+nyBlJEs40KMGoPovREzfugNdm36v X3qHbDTYT21ldhG4umu2QZmdEZ3e0352nh06VoxLGFhTOi1lAjIXFUFAFM+lR06E 9/P2IFX2w28o1J6uqvfa11nK2mukiNkOEQNEkZjEWP1pKbXXQ2gB4IWKJ1gFQnSj RxzVLz+1IUZhtDvm92+JVmEUTUp2W5dey+5M5MSM0mto7lAN5vZzNUykZdBA3zXr Osleu828AWH4Ax3S16cLIiiZaeZsGmIjYIocSI5eCpXFF4Jqk7896ZOYKsFMsnGE izddWcdSihJBt8P5o/Crnw9ktLUxKeXd/mGiDCkIoJB8eCtJ0hXvQ4OqiGVHrWtf F8TOaFxknbMxtlwVQWtTRHHqX7F9bK1tSO4hx1ydrFbGc0STIGr1tNAFTvl/Mdv2 kQvlCWG1MYZoNArRDV5QHzGyf/K5D1AQjNz7ij0xgB4VlRf9WMRK0kvyo4CYdfHw CoT7CsrVW+WtlzYU6r4aOWyp93EdsV8b7WhMn8+a7io9Zy9qXivJpqrZjlIizcW/
3ATiYvmk4sa7
=YucL
-----END PGP SIGNATURE-----


--==============99380156402131106=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz20ugAKCRCb9qggYcy5 Ib7WAQCA8aYVeZB6dvXoXJapHbXSWPB0JcMeEcGwi6388vf2mwD/a+/uc6Gcko+L ZdwPlIe3YQEnzl9sLeF36ENh+Nj13gM=JZ2t
-----END PGP SIGNATURE-----

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