-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 20 Jan 2024 20:12:13 +0100 Source: coq-quickchick Architecture: source Version: 2.0.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-quickchick (2.0.2-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 67bf67c833205fe285e24c60f1f83ad315262464 2275 coq-quickchick_2.0.2-1.dsc 20e11d612703de2b2b9efbcb26f0d818d57e39df 415619 coq-quickchick_2.0.2.orig.tar.gz cd35a3c0ff4932d8f3f6c5a58c6fe8c8ea56b6ab 3048 coq-quickchick_2.0.2-1.debian.tar.xz d3ed2b4c98004394e14fe25522e79556ee8ed81a 8750 coq-quickchick_2.0.2-1_source.buildinfo Checksums-Sha256: dd6903a8352bd0a1d52f04cf794c771b06b10ece3a1562de2493924bf045d8a0 2275 coq-quickchick_2.0.2-1.dsc 666b4dfccd0030989e4351d9b1152a8bd976a577a97316c163532c0802a66811 415619 coq-quickchick_2.0.2.orig.tar.gz ab62c1bab2dac835b6e96304363075e8547734a196ef8a0a1339e707637a71ec 3048 coq-quickchick_2.0.2-1.debian.tar.xz f2bf820028c9c7b27c432a325aaff58650fbbead3b47921e59984e4b8cbd4e9c 8750 coq-quickchick_2.0.2-1_source.buildinfo Files: 6a8dc622d43fb7d98da07153b6db6e09 2275 ocaml optional coq-quickchick_2.0.2-1.dsc dc00eb702277d91fecc9501e8f1e0347 415619 ocaml optional coq-quickchick_2.0.2.orig.tar.gz 811932a2468b199b324eafffaccfca8a 3048 ocaml optional coq-quickchick_2.0.2-1.debian.tar.xz 1e4af206b98d7d189cdfd754d16f65ec 8750 ocaml optional coq-quickchick_2.0.2-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsGyQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRle4P/0a0ykkgP9YpVhI0/k10W4JByOw43ziX w83HtICnToWQNLYTGxr34qDEWYcjSF1mBBrcEyNLh5SzWqhld+AhiSctR0IdySiV klSyqlpDcjuVm/iw8MQUIHP+i4dQ48ptbkjMCc5wjpbMje4tFX0doD9TgY6Be1mA jgbfo9EwSant9G1WF+qsqG0edhzudM1mhS1dOk0QVcemrv/mm/uIYuEg12fUks9L qaK3Vu5QpdnGsXCwBB6gRgUk9o6BUHG5E1QZF7euKMy6QE5tLSQfNzZKsW8uIC2I UQl4Es1tUNTJmNB5sO9DfexqBpAa/DY4ULNebWwH+OLYJqJmruAOJJvf2O6QUivH /Fn5Fjo/R6GhoGTiPq2sHUSetVDauTZPTGCFJcAXT9osvI6SyOX8PmpaL4WyHtm5 UzcOgsLRwK+n4VPVk8h4MNnde5FmK/4dYS+UkkGkEHjWokr+gV47dZUrOa0GkMLa XYe9WRtehe5NLG9VG6FjNOM/lPKhgREhg9X2oaiLSeTkZrijvruHsucnUdSmrpmy C1PeEcvK9KIXDq/15qWKkKWnN7twa28rDb/CJFnSamhHmGfVdxNhqrGParzh/oTI P61xaWhCkz5hojEkOOI4fRkiCahHOxTYFDZ1HFE7/MOJN5CpedL4/mCXsX29s+dt Lb3VMTqwm2Tq =2UjK -----END PGP SIGNATURE-----
