-----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-----