Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Sep 2022 22:54:49 +0200
Source: coq-quickchick
Architecture: source
Version: 1.6.4-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <
jpuydt@debian.org>
Changes:
coq-quickchick (1.6.4-2) unstable; urgency=medium
.
* Fix for Coq 8.16.
Checksums-Sha1:
fa18599298cae1f4766f498dfd5bca5366c32341 2256 coq-quickchick_1.6.4-2.dsc
e05dd78abb97d2cbb5d20b8bdc79f3cdb3675ba6 2672 coq-quickchick_1.6.4-2.debian.tar.xz
50b68545410cc0e064f8565c11262aeda522db1c 7284 coq-quickchick_1.6.4-2_source.buildinfo
Checksums-Sha256:
12131357ec115b4b6f7bb8ee8b26832cf77e939fdd38594f480a412126428076 2256 coq-quickchick_1.6.4-2.dsc
dd4dd7d06cac0f6dc4f19c66350052653b348c803dcc076b806668be608618a7 2672 coq-quickchick_1.6.4-2.debian.tar.xz
73734ddc530d43ea001c59caf2f05a21b1c0cb2295352558e9a7f5657c70eb6d 7284 coq-quickchick_1.6.4-2_source.buildinfo
Files:
616b10e08eadb9826088588c66c72295 2256 ocaml optional coq-quickchick_1.6.4-2.dsc
5c9e73cc7cdfc6d2a9fc84c8e31e77f2 2672 ocaml optional coq-quickchick_1.6.4-2.debian.tar.xz
9709ae233db10563a621c5fcca9f029e 7284 ocaml optional coq-quickchick_1.6.4-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWYj4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRc9gP/RTedpHp3WejSq9rQvKgurJ2a/s2n+86 NtJuJgBSA43AOm4pvFKaWOxrIUMnaMT5e0zGBnV/upObr6BkzjpcDjfnZxP8h7s8 Q4vo6ObogCuvNbrxx0H+IopwKW8Ce4+BSU0JdaDl04sgQgpBaH4wz26BIHdkf/A4 BBt3oa0OnMxufTz2DeLRXSctP4Ay3m0DVNRhdqTQpEboKl0XBzrR3nA2X9mUzxBq pAWNjaGRizEw8eu9TT5E/k6iUJSU/NFuXR/2eqbRX6IRJhDlyVvTarm9TH9UfpYn StaHMnVSQ04F1IQSVrERe6DEeaExq2wz9Jvw3zNtk8CkC/RAPJ0PwzjQpxy1wgMi EfZFX9ux3RIOfjrFUxR5mZhjnIXH8O2FWpqGbW6Uha8wWgQloY9qNrOj1Z1RKnLR mka0Z19ErCwuBi2q2iJ5iHPTLOUcgAaay6hYm02KyzuEJOHA0q3/Im203g6s1RXn DGZnQ+my8OLwljvWRjPHGcQOivU0tzA3OmDB9MlAc8mpimFsnnAw/WdYFuTsmAKb TNNp0jAVAfNOJznX8zzPv0IByGr41QcCsGW05NCP1Ezk3vBuFunbSW8xC98puC3O EI6ix7FcGBKNKXkYf3DSeMeAhpheuOp3MK5f+o2nrQ0G4KefyXp7mRDF1JI+N0bB
KjxpTuqeiFFK
=Wxi0
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)