-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 18 Dec 2024 12:17:45 +0100 Source: coq-quickchick Architecture: source Version: 2.0.5-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-quickchick (2.0.5-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: d187469f0fddc7636ab3f196bf235fdf99ce9c93 2287 coq-quickchick_2.0.5-1.dsc 7c1f89504855a4077a089b1fb64090af585ff3c8 413023 coq-quickchick_2.0.5.orig.tar.gz 0427e075df1007c77a0e32fc7ca40d311efa84d8 2888 coq-quickchick_2.0.5-1.debian.tar.xz d73d70345431db7ffd4ab4b88bbe00654736d60e 8912 coq-quickchick_2.0.5-1_amd64.buildinfo Checksums-Sha256: daee6c06704b2f8ca78924761d8517422e0628665b9a765d4878285dfbaba990 2287 coq-quickchick_2.0.5-1.dsc e19eaded243d12954b8b32827ce5c0d3b2a9cab4d316d97924a9861bf6f01773 413023 coq-quickchick_2.0.5.orig.tar.gz 8d488335b175e53493dedcd4574d642d420ac999d000fb9727e61cf48727e006 2888 coq-quickchick_2.0.5-1.debian.tar.xz eb63b2533384c943cdf9893240b781861e43ed7009a693ab221f8d52a1431e34 8912 coq-quickchick_2.0.5-1_amd64.buildinfo Files: 463ef4a2bddcb72fc4d366c05bb7f405 2287 ocaml optional coq-quickchick_2.0.5-1.dsc 3fe1c7124122fdfd5817d8634c1e68a6 413023 ocaml optional coq-quickchick_2.0.5.orig.tar.gz 92576f5b4171d90cb14857d84534b06f 2888 ocaml optional coq-quickchick_2.0.5-1.debian.tar.xz 8d00077a50828dcbcb5d5e3ab3afe87c 8912 ocaml optional coq-quickchick_2.0.5-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8OIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcpvD/0bov9yQvUgEOAqdycM7UT+ ePiZjMxVqFAqMxzgUbCQ3HnqK6BRLtO4ybTqMZrXAHUeKBIkSgeZtmkBETDYlcjQ VmRcl7GUvH4iWOQbsE+lHFTs4rXZ8jCC/kNNW19Sc+qMfeKgVUHdDnQI2VSFS9Kc I8B5vd0PeziQ0UU5WGU85lujruz3F4eEOLkYabc9AsGbtfsF5FWDmVZeYwpO57lC lXqrvtewU0lo8MvtVxheZ/UWWyBBJRl5xJRE7wfEv1y8Da4ztcffiT2LgAf62E4o u6Izj772CSssEMEhe4dWYfeW+U4j1+MW60VNusW6SdsyPF4419YnaSpbWLcnRk7m Ry5y4yJDjDuHgsoh8IvRFFO9hN2LteWEyu+a/i1oYKkV6OIp37zdnDAx1kZ0p/7+ YgX2rA+2GGMkyBKjneLmmz26XBjqVnE8WiJeiNAxoyJbyx+jwdcSB3Cb8U9fhkyQ 8N5GUFvgIR+QbUgGh3rN+itewxagaRBODqo+lTXXxkOldxWmMfCpjex3bgU+crdq dYClQEte4fqqSGVNehtybGRqNb+fWWu+JNvSUzbuuN7G/GdejouJWMMM8F+tPyDd wgOXddS/pRGSKzX24kUG2MhOkaRQE4yzkhbBXzdeW5ebv656VT4x1EQM9EfMNrhQ 4JuT2xDXlka29Jffor6itA== =ufup -----END PGP SIGNATURE-----
Attachment:
pgpPD3099n62V.pgp
Description: PGP signature