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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.5-5build8
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/reduction-effects
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-reduction-effects
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-reduction-effects.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 8.18), cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-reduction-effects deb ocaml optional arch=any
Checksums-Sha1:
 b6162fbeb53b7bd5aa9181f438a8387bb6aa1727 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 3759190a4dbae6d9296e988d09797e3a4883b7ee 2152 coq-reduction-effects_0.1.5-5build8.debian.tar.xz
Checksums-Sha256:
 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 947353106c4a63008fce0f7769fe0c206afbaab6753ef574b5a49e3f0701253b 2152 coq-reduction-effects_0.1.5-5build8.debian.tar.xz
Files:
 e913b9fcfe9ff88a5e637b8e05191a0e 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 881e77899bde1cb19d2793e4d8cbf66a 2152 coq-reduction-effects_0.1.5-5build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRdsACgkQ808JdE6f
XdkICQ/+LHwtRVmhg1EjvKl8Zt1AKMO5Qf3iJr7NsMS60CKo1KBVqEYeueu2EUvq
lpDOZU+XCcN2Ks0GTH1QxEhqaqeLSMzPYdAiiApFp1K67dIest7xMLDUAKvjAZAD
ln+SyFXaMyMDtohfKNOu8hpcSdF6kRuHPiQr9uU4rp4SHgZaTAtlN48MKlct7pYq
48Ye2eKlTxjhc0vtfTK/r5uRuFrty0VrZSli2g+TaLjM9/2IPp3cmaKj6vA86uHI
UwwPBW0nRHBXJEKkuMYrWhotvEjUOeu6JysCriF0+U17Cgfa4gXpeTA8jlv0RCPF
jnBObItSr1uT01L+rITU9UBusur9y6TSa+PrW3mo2jsQoiUo5Z2mUpqXH6snycPg
RDND/k0AF+ceKyoBqcH7vM8nTA/mTvx9XBD97PJTuhA9LvMizcFRbWcx1Z1G3g7k
YeVQsISnMMDM+/1GAE+QkFcQXvNTm5CWRrsqxnCtwdr3t1pRAqQEo7YK2nzRuV4I
sx42FyGiMucAqc5YuPmpwMYj6z5KSwY/rEsL/OY9m6twhlee2OT4l91LOKStcBFm
xuvQF+4g3pbGOinOFSP/zc0iusA2Nm8QVh0J3qOPCy+C356r6R2CLDcYMAKBiT2h
z0oR0FnMmC4UGuojGa8T92jsQmnRYdZ2xKtQ+wK+vqsiqBKX35I=
=wohC
-----END PGP SIGNATURE-----