Accepted coq-reduction-effects 0.1.6-4 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 23 Jul 2026 17:27:15 +0200
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: source amd64
Version: 0.1.6-4
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-reduction-effects - reduction effects for Coq
Changes:
 coq-reduction-effects (0.1.6-4) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 4cc129f6c89624a4bd6cadbebfcbb0c9077aad10 2223 coq-reduction-effects_0.1.6-4.dsc
 9b57b2202f958f543b51978d7fb0feb7bb6fdb42 10436 coq-reduction-effects_0.1.6.orig.tar.gz
 b3beddc6f0bad882aedaae3f04cd1721d57d4eed 2348 coq-reduction-effects_0.1.6-4.debian.tar.xz
 997dd772559990904f79ff59630c63fb6ec6f82f 7024 coq-reduction-effects_0.1.6-4_amd64.buildinfo
 cc510bac9c764a4c0b8b294df8a754afff48bdc6 15920 libcoq-reduction-effects_0.1.6-4_amd64.deb
Checksums-Sha256:
 dc7cb54fcf3e72e8e151fe06a1311ef3f95e9fccb644e9e9b5bd4f65d78ce2a3 2223 coq-reduction-effects_0.1.6-4.dsc
 20d386e0606462a92458784fdaa134cdccfd9d899f75f784a56e1b96c9ea3ef6 10436 coq-reduction-effects_0.1.6.orig.tar.gz
 50b19bee707ff9d01dc39a3528bdce2201afd1c3f6149ed999f04817e22afc5b 2348 coq-reduction-effects_0.1.6-4.debian.tar.xz
 62fd0bab5e20eef01ab82c1fea2236cecface01066db0a7e1602904b102e26e2 7024 coq-reduction-effects_0.1.6-4_amd64.buildinfo
 4f5f502bdb8fc5484ab4280563ecc2134ffddf82a4247f8dcaf375614f8a0f95 15920 libcoq-reduction-effects_0.1.6-4_amd64.deb
Files:
 4ec047fb2e51a9743af9955ecb92c8db 2223 ocaml optional coq-reduction-effects_0.1.6-4.dsc
 cf98e2d1df03ad74339fd8145313cdab 10436 ocaml optional coq-reduction-effects_0.1.6.orig.tar.gz
 fbefdb85a27eb52222cef2a91c251238 2348 ocaml optional coq-reduction-effects_0.1.6-4.debian.tar.xz
 f680f08f74195bf43e0f772359c66896 7024 ocaml optional coq-reduction-effects_0.1.6-4_amd64.buildinfo
 b02022dc78ae0a9126f964d20572d568 15920 ocaml optional libcoq-reduction-effects_0.1.6-4_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodi0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfPjD/9X7IR/eoA21r+dDXd1mNLm
3UhBS+kvmfjQxQHyF9pavFLPuqKs1KCXoPsN+BNzyWw/zSKtPWP1k36jtU9pFYP+
P3nu3rUbTZc8365M3bf2berTuZV4gGsyTNr8k6O3G9wpDNZHHVxw4N21Qj2H6z4d
//Kysb33EM1JjIHVJpI7XYd14a+t6bIOusxdfaZp9VWljupY1LZS3dajHPS0MLWx
ocuYElfbZIa9C8ndETmbgMrXjJH9c1iR03v5fa8y+i4PObjsf1BJXqGButFnEMCi
IlUDewz1RWDIB0eKM/25sidO8DmH5VVGSvmCc31477QjYqQprkZLlHNZCqbk/nxS
hM1b2pq2fhu7v0wgXa5FbVRYEqLVjBRLuwNRKO7Xww9OGKBT1OLlb82HJJ5i5wA+
0zun65tauj3sOVbffnjphuM/2EeASkPaXL6y0jFs3BFGWXIXPAQa8Vc1Lzs9oYKV
xqMIpx8dkvUcWCLk9U+a5PlJeD3DzyWDzL3b0koKwB+OEXmNF7SyZg6ksqenYptk
t2i/KRDcFeVwTwlXq2gcLu8zTqyGQmpzRI0xSqZkwL2r89WXctYtC0TnzjcMVT3t
PvWMrLo4nv/yaE81tVdpZpTDDb/d00/uuGvlxCCpMhC/HwRyNemEt1mMo5fasF76
UZ1RqsPNXojhLP+OBbR7hg==
=P92V
-----END PGP SIGNATURE-----