-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 21 Sep 2025 14:14:24 +0300
Source: coq-quickchick
Architecture: source
Version: 2.1.0-1.1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Adrian Bunk <bunk@debian.org>
Closes: 1111916
Changes:
coq-quickchick (2.1.0-1.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Install documentation under /usr/share/doc, not /usr/doc.
(Closes: #1111916)
* Don't install the upstream changelog twice.
Checksums-Sha1:
c92c3dc3a18fcb4c59a80d982a702042efb356e3 2258 coq-quickchick_2.1.0-1.1.dsc
5273f9521cc8038a8579921d7bd5ed162b0f513b 3016 coq-quickchick_2.1.0-1.1.debian.tar.xz
Checksums-Sha256:
a7284dc60f69c4aa7496561a45edf3fcb1e9e41baf216bb7e8987e0fbbeda47b 2258 coq-quickchick_2.1.0-1.1.dsc
c336a33775ef72e0d2341550c9a0e4cbf6806edbede8a062a3945400b79ec1c0 3016 coq-quickchick_2.1.0-1.1.debian.tar.xz
Files:
9019b45d45ff7a24a96be69e44c315cd 2258 ocaml optional coq-quickchick_2.1.0-1.1.dsc
d5a95cfd10a84de3627fed2f7b09d37d 3016 ocaml optional coq-quickchick_2.1.0-1.1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmjP5UYACgkQiNJCh6LY
mLEG3BAAlg46DeINdYuOPVn+qiuvF1pDA6dDPK3BFTgv8fl/mnLv1sK0XmEJ/pBS
zihXsTXpAgQSeqI7Whe+ZAH6S0hpXVMvWQznYGdhaJrvB29FdMhOWCIXfVvN4pvg
hweZHn0Rtpk6N/KBikuhGfF4Zad6clpeanCU4Q7oSHMJHOmFNtlb8FEBi/iVaeuP
8iyrQEIVWVVQTGNmhuUuDDHwDYimk/ppiZ2qN8t9Bxta7EKUQYF4U6h1k8+gOV5+
i8emIDRLmSmPIK2y+RjgRIp0OyYaZcXRgCf0G4QLkZZYiu6yUzB9GrRG8KjgzlkB
vdj/X2JDTOZi7H93N1yEyQCnEpPzo9DpZcT0g9g1T9xEAN5yoRURy80088ARw+lC
A6gewCBhG5RgSwsd844+hTmSDRiNv1zHCaO/1w+8KQ0yoXE873VXHl8TNFkPUfQ+
J3RG11zVzy34pqz3GtUaPgYqjbR3P1ZuSFsqOPBitFdAg0Ycpf5W8xHFxvOMHgHC
i5eTZtngzYg38TYD72qxT4fRQMEGhK7Zk4yGQDn0ygR9KW7eAwUCMTW9AYAoQnBO
cM6ltNfbzCxkKkDPCY25uJJWw7xDsBpPCJYP2C1VGr+KT4Lz677ElXGTa7BjhkHR
hN/5rFg/Zzge32K2ifKQ4ixd5pz+1Ec5lAiJ0W73sIehiO9CAJ0=
=Kum+
-----END PGP SIGNATURE-----
Attachment:
pgpcwAvAJyhHH.pgp
Description: PGP signature