Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:57:49 +0100
Source: coq-quickchick
Architecture: source
Version: 2.0.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-quickchick (2.0.4-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.7.0.
Checksums-Sha1:
24045fe869c2e9dcf57e10df8d0173486e154aff 2275 coq-quickchick_2.0.4-1.dsc
b9a7517f4e168f20a5b0ba4f001650aa2c1cee83 412923 coq-quickchick_2.0.4.orig.tar.gz
d015af357ffbd21a540528cc865741df36834201 2876 coq-quickchick_2.0.4-1.debian.tar.xz
3e042d7a41a38df1e5214f08d033193a06c10005 7900 coq-quickchick_2.0.4-1_source.buildinfo
Checksums-Sha256:
5488e25d1f92cb0fece752bc7eb72bb89651e24f759d75bd6d4b1aabf451a55b 2275 coq-quickchick_2.0.4-1.dsc
029bf8bee8f3dfe7cbc30a1e5e8ddc93e2998261befc904060f2e47b0701cbd0 412923 coq-quickchick_2.0.4.orig.tar.gz
4350168b33e0f216fa927cd996a657cdd532177e98335a2411fd53c02073d7e6 2876 coq-quickchick_2.0.4-1.debian.tar.xz
1ac97604fe125b509440374a80e9ddd2510cfd4c9115f05703fd78c0e13bb596 7900 coq-quickchick_2.0.4-1_source.buildinfo
Files:
bd1fa64b169740d53db80d9573ace379 2275 ocaml optional coq-quickchick_2.0.4-1.dsc
6134bdbe1b79450481cfdc84d1b42ded 412923 ocaml optional coq-quickchick_2.0.4.orig.tar.gz
ce95a8bd6cbc0ad2f50a9208111f8e7c 2876 ocaml optional coq-quickchick_2.0.4-1.debian.tar.xz
baef86f35693cbebd1e449cf88591803 7900 ocaml optional coq-quickchick_2.0.4-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9srcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIEMP/0IN9lAGMS1yP40Nfqu+qx6U9sfVjybS Y2KNcJaZaijBeTTxseKk7zyuj64zToX+QYXuJzIniXFhWody9fOwp3yXST8VV/ik zRSplPmaf/KXRPzuEHQB33aI7USKs8tXyEpWdgqYJ21Ryn+6AjWwLXGwyUGmMF9V uLE24s5850Q378cF2410/ypQCcMY0JR0AbECnyXU4WKBTNVjcXduuos4zW1+4ZW+ 12fhp/otoxQRJ826kG54w5ZPbVIsuyrJh84VARxWZJdeb6169czvTGjjBISbKRAm RjiE/TGct6iB3H8d/Slb2MdWQyRs4OTrMJmv/PQ1KHkXBrBoB6E9rvLlBe4bOTX4 wkGJKCz7+uzPdh0tP5Eih50968NkwxF2G9xRJT9bD5o74ueC4l56AkpqkYnShgs4 ZMJAwoamSywihanVShWdiBFC3LB9u/udh+uDvtQyhMWDeDsvK9d8zLhoes3Hnb6S 37uMejXaxy4epxIwxOETubb0G6BxB3KGdfGl5llLr5ppzY1SQtTMVW3OSoN1xwti 2uPg9Qe06Kwi7dViZlUGWs/sXv+/Nep1O2muuQKW+mfX2AHS55K/tJrp3OKBKKIq DrCZcxrOF1xaSDTSLKdwQe1nDVgK7jKJ8IEXzILel002svHn1CeWfx6pJpBvsvwo
mxyCLqsYAS6X
=COc+
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz23zQAKCRCb9qggYcy5 IQcvAP4jMCgVNmHSJeJUkVKz0wK0mXU6lFWn4HhWfN8uPgVRDwD7BSQVzyPsBcjC zkctw8qrQBrAWbFUG7/73NL9zHL6sAU=Aww4
-----END PGP SIGNATURE-----

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