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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.3-2
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.1
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, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-reduction-effects deb ocaml optional arch=any
Checksums-Sha1:
 0b3b5a4f8186e5827b161d05d79c632f5505d0c9 10085 coq-reduction-effects_0.1.3.orig.tar.gz
 553f0a1da1b88d17c69db770515197a9c3635875 1444 coq-reduction-effects_0.1.3-2.debian.tar.xz
Checksums-Sha256:
 6eb953addeb5b70d608b62f1bb8e9b20ac67352cbf5a347fa8493b04070ffebe 10085 coq-reduction-effects_0.1.3.orig.tar.gz
 30df938c53d2d1de50ae893ac016a790c610717e4962378990828b50249931e0 1444 coq-reduction-effects_0.1.3-2.debian.tar.xz
Files:
 d35d53ce952676472249feba84ac5c53 10085 coq-reduction-effects_0.1.3.orig.tar.gz
 268eb8cbb39894e4a87a0576673024c6 1444 coq-reduction-effects_0.1.3-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWVcgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRY9EP/jKWDY9MzLwKyt1uMZK7bIxAYm2x154D
TFH6x40b+71zIlmEwzEN/+34tsPq7ATaWl0XnIB39q2wZvK1volbfp1AiZJxQOW/
dLVSRnRzp02TyiGwb/NLLvg1agvuNQxJu7UvoamFmpMJ+ZabfmgOcNLiFOvQn0un
iH6rnEdrxsQRerepOqmfwdAnxSq71jq6PG1uOoqJEG3vj8vpe1b1qfNUG1dFdVLX
Zd1VhJIKNWvKmB1vvlq5yGkh2OVHUuSjtoeoUi75JCo3Zo7IdbFIBQO1DOCo5VHp
tOK7lVSVXn0TDP6CAfVZfN3hG26ee2LebTybhYl7KVKLOyUfY43fKW4zxW2jn4J4
a9+s2nk6VLDPw7IH+S9fTHgzMLNUhc7eJA8ZZpOnF1H/GEjevtlSMCAfoieJ6Pd8
UsszbxOii7lp5X6w/2L62sFSuVQx2k+GOsXKF3y5s7ZBSAxlRBGNA45CHpOTZEsP
BPj+ZfeHFHR6p6RJWcgXC+U0qkcpA9iLB40QXD6CmUtDe37UZ35x2LYEDnim+l/f
O9Z78qqX45thdveOeJHBXEtOXsGZu1Ut3Hy4bJ4K0dO8pnkx53K5M9tCuRGWWMjO
wLtVnGw0teJ5p+1pS7jeA+wzMpuDW/Hu5dlWY/Iw4eC3YxlzYcYAVyvqjmWLWzkA
lfBWF1m7hYyP
=FH44
-----END PGP SIGNATURE-----