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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.5-5build11
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
 71280d7fe834a8d8fc0beeef3b5b1eee4ecffe62 2228 coq-reduction-effects_0.1.5-5build11.debian.tar.xz
Checksums-Sha256:
 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 d291859d842e5a16a32b56555a97a4bf14baa779c20d9da19c4844edf5478c18 2228 coq-reduction-effects_0.1.5-5build11.debian.tar.xz
Files:
 e913b9fcfe9ff88a5e637b8e05191a0e 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 1c4d4bbc1bccdcdabdb34fb0aa4e4652 2228 coq-reduction-effects_0.1.5-5build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmnOAkACgkQWWH9vpxh
mAlzCxAAhW3oen1w0q3J8nJnk2Pu1aHpuefb5Cg8lLCseapPLmN5uhN1QcoTDpQk
GpWVB0PB428xBxnPp04HoDF1pfGh+uI8MiKfjXo6VN67n6bqNDRU2emENWb4T6yt
3INTrGWDnIQ92k9yaGMFW1KSAT4QzAlLv+cphLo13NnwWWEUjbuJKOTzvXZ+qrpA
TupdOLSmhLpb/6kPVigXWM/P2f8SkfJotV2tN2ZJCCJuZEDiXviWGzCnzXJ4jqXC
fYIxKdFkp4CvWWf5LXQX8RAGbUjZcFCPlUGznv4NEHvxAkUoxEHpXkqhxJe3SuD0
X69bffH5X8nXCQmzOPw9lN5F/C2w82GYLPGzoxBc061QHTe55jDdr4Mmnj/TS64+
HOauSOt+G2LGxrE1ln7EMMWAVPe4sEWCTLorH54KNKX+ZYJqsmElwCf2ahwLdFuN
jcCQdg5rkvOh0xSmTS/MFYhV0LxhcIYJ+cGHGiEkTqV476XsjN9/5dgnFvLjBERV
pvp8ueWvtqMR1F7YdO0n/pK4l5pG0RDxQ9xus7V6bzRg/Fy7VCyhXUB0DLMIWpNy
ovCR8vHPMMJ5CA81o6xVYT7fdrPsHlbOR2W4HpPpwYV29bgkNOwEkHss4zc8dSR8
61Sz/ybeOjV0N4fgRzLe7biq7bdeBQEErzUDGEupH1RVZ6VEhok=
=MVU0
-----END PGP SIGNATURE-----