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

Format: 1.8
Date: Wed, 12 Mar 2025 10:33:03 +0100
Source: coq-quickchick
Architecture: source
Version: 2.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-quickchick (2.1.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
df6182d0c4bcff47a1112d921cb950884350a4e2 2288 coq-quickchick_2.1.0-1.dsc
d4017bd8f3ee611d56d5f8c18fefe88515699e47 414544 coq-quickchick_2.1.0.orig.tar.gz
8aceff51ae5169bb3f0368c1fe0a86363fbf54c9 2908 coq-quickchick_2.1.0-1.debian.tar.xz
ece392b7cbf4685535df99f2d5bea49a5f8c942d 8553 coq-quickchick_2.1.0-1_amd64.buildinfo
Checksums-Sha256:
4a6fd285c9fcbcb98d115b4b631df67768339b8f37b32590622380671126ba5e 2288 coq-quickchick_2.1.0-1.dsc
d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
0d6587bc594a18657c9d86b1a1123ca3242f02426a1e6c89fe121bb0999bcbc3 2908 coq-quickchick_2.1.0-1.debian.tar.xz
1e4fe1d39b20dff6e45e277bcc2a1e936a632af9bc7835fd5c6f0cc7f04f2ef3 8553 coq-quickchick_2.1.0-1_amd64.buildinfo
Files:
dbea1228b5f67566babdfb2f06f348ba 2288 ocaml optional coq-quickchick_2.1.0-1.dsc
a24d9ba0f1bdbc8f7daa9680e63281c8 414544 ocaml optional coq-quickchick_2.1.0.orig.tar.gz
ccd5bb283d4173cc76d0a9150193c185 2908 ocaml optional coq-quickchick_2.1.0-1.debian.tar.xz
b369e932a364d5bcbd63eae5f2c5c1d5 8553 ocaml optional coq-quickchick_2.1.0-1_amd64.buildinfo


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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmfZZN4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaaHEAChRHMxd/UcEQEqJpJc+eTj vrINjQMjbDF7WIRfeC1ND3PAh02H1v5oNAwYU/Ix4Qj28jYFNS2NTtaGd8E0V/Gd 8v4CMshwoFgjf5r/w2Iyu+RZE04QZfNWgJozr48H9qJpcGMx2MkELTmn2nXi2vGG khOZ5aDk2XiUe9dFsGRccXL58H4LhMxDMuSDCedIu3Pf+1j5aPgZllWxiqhnfCAt iYh/JkAGSlww5Oxp3u801WCxFdfYpLiQdUTRF1nxuVNSMKtkPy3fWtIzzmW+TgGp SJ7RNGYA82XsxvMyZC1CspHsLDdLePaHFZt3gF/gfNd4CJhTn6smzOGLiVFWnALt XXw0oxfgr3Kzb0Rv6friv40Gnbu7Rw9KjK2ImMmYzOPPKtSNSgDrG/eUYKvU0xMp D0K4bS7oqlsX4Rg31C4s8PINHec2ffR1zWuIu884OT9Ob2IbgRZIS1k/lZzR3c+6 iGeTTEPndLrcOTZyN7JXTdi+GuDWKZfQKU0jFvM90ubmbdVgEjAgmxz/VZ8vDpI8 ggffnFSm/ctGdAiHsO0ZGhYrfQxOArzlhOhK4JJqmSE79RISwhJyj8RsD6j/CO9A 9TJMvbn/UjtvLQYK/dXFqeQsOOQvd//Qk/AvNhseW+O4Fd+XjrwlYueRMt0es7qH VayNdkmnBi4/vxqoEKtA/g==
=YRN8
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ9loVQAKCRCb9qggYcy5 IVinAPsEt1f6X4/I/4v4CvXrlQgttovvt2v7SDSJbtdSBKkArwEAolYaehC9ShWR GcZLyZvsDj2/dU3YZ22YmEhxIvWQXgs=Yi8T
-----END PGP SIGNATURE-----

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