Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Mon, 26 Jun 2023 08:02:36 +0200
Source: coq-menhirlib
Architecture: source
Version: 20230608+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 (20230608+ds-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
63a80389bb91662b608402b21aa00a2b1ef96d6d 2145 coq-menhirlib_20230608+ds-1.dsc
9679d3337880b34ee7a9c010e32ee4dc62c68c3e 38088 coq-menhirlib_20230608+ds.orig.tar.xz
47cf1e85cca25e6cdfa43c2ab8cc996281a9d783 1808 coq-menhirlib_20230608+ds-1.debian.tar.xz
cfd557e6099709f43b1d468c2f660577e88116f5 7441 coq-menhirlib_20230608+ds-1_source.buildinfo
Checksums-Sha256:
476749fec788f8ce873401772a947ac98bad116204551ab44dcb1d6716479a8c 2145 coq-menhirlib_20230608+ds-1.dsc
0030704e098ac4639d2937d6979eff163d2a41db02d2c0cc4d023f160fce71e4 38088 coq-menhirlib_20230608+ds.orig.tar.xz
c02db324995e76210f8502e01caebbc077603e37cae74cb8ea0b7437603263a6 1808 coq-menhirlib_20230608+ds-1.debian.tar.xz
46aa14fbe4c95ef5adbd8fdc1567ccbeec59c50681fe08a91fd25240e48cfde7 7441 coq-menhirlib_20230608+ds-1_source.buildinfo
Files:
881710bc0c518b595633bb5d80296754 2145 ocaml optional coq-menhirlib_20230608+ds-1.dsc
0c6ea41f886c2228e3fcc3e331d94a7a 38088 ocaml optional coq-menhirlib_20230608+ds.orig.tar.xz
fb0bc96abd8cbec2d6794b3db6ff6102 1808 ocaml optional coq-menhirlib_20230608+ds-1.debian.tar.xz
9fb85574f0311e012f36bef5081a5190 7441 ocaml optional coq-menhirlib_20230608+ds-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSZKggSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRFCIP/3X92KZsTNPqHoGpSmC3LMz5N1EME+3Q GqnacwyP5g9pKzJ6WLMJMKA16+Ul2PPoJDjEtMz+6se0ksofZKlJ2m8e924ATo3P FkHS2WDDRilb1rOKjCfO/zTaIswvdUZeJLL8fidbvY9HK5YOiZo+WPs5Fj2G7Tqj A1P11J63vVcW7oC1FKCmPUo+tC0bqlE5iNtN1Roa/OwfIaUvCzmh9jNf1m0wljae aqVabvSJOBHOsfpiQixZ4Kw5Ab0/bYYOalPDuKYg5N3/gYS8Wo5vla34gzz5Xt6N FysFb86QDWVW+aD3FQHM3H84TCVHLIRcviIePvzQ65NWHjA4W4ywriWb82/xUJgC wUMkKMZx7LByzD7K/gpKC7kXsA5Io0mfVG6cejzr53uNDS8QLEomUlcqzJ6ayuiE Mqk3GkZvWRyAfz9sx+aZ7lLnq2ZT/RqRdi3n+l5oDwm8lYRZmou1jrPZsw9a0Rej WjpNlny4r/SzHX8fvl2ou7IzNrqHl6Do6QC6bUbd5wcuiQEB+DBMe6F/8zFvXS5j oh/gliZ1ubn4uMP7z1/6eeHV9Pn3MmprZWrIsnzYn67j6G1+6pXse1q8C4NR2JrL TOb4/vVsES3NI+8ymsqKLhy4gZ+On7rVQu8eMkgs7akuPeMLFvZ29tNXNWORFfgx
IOfhQvt2Wypx
=RnZt
-----END PGP SIGNATURE-----

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