-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.4-4build1
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.16), 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:
 b43dd0b132a2a8e1f3024ae6616f4ecf4d5862dc 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 7a91798620d8b6277c3d7669ccab70d384593489 1768 coq-reduction-effects_0.1.4-4build1.debian.tar.xz
Checksums-Sha256:
 dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 9e54d96d70230c71f2cd2e973b7b8f0ef927f26e0c50e8343c9925db738d7292 1768 coq-reduction-effects_0.1.4-4build1.debian.tar.xz
Files:
 1f6c0770a41952367eca4c137ea1783e 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 e6ddfee0e0a2876c106a11b0a342a5f1 1768 coq-reduction-effects_0.1.4-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqwwACgkQ808JdE6f
XdmdzA//YKvd/3LVFOsodFNHNEynXbdkaNBpf04eQGnJFINOD+Pp77VUYShEFXQ0
qIFPK2RN1URBWZshRzEBUpTsRj8um5vthaz8LFnxIeqWVgE34kRH/EhrR1XXaH/Q
gPhC6jQWJxnEUAEkJMU4xiu/yNhqw78GssH4BEbAPE/J19TzcIas6620uvMMo6u7
H/XQcgb5L5IEnFNHlCFknlw2GgmImVoc9pbVJXm955HRa/vlOgFx9l1NymSmdYHw
sw/AzHuRxdE6ZZXbcjzJYQGbd/6kEIHTNdoLoJ6LqE2HL9NZ/OoppG/sCCSEKgP6
mpvA1uaYLXxBXO22NNbnYv4TLeD6t2tS3M+0JaGFt7Whea7H14kFoCo2P79qu9vL
Rjpy3xUqE7BgXn7O7Fq6GJyIIHK78pR65xjSlbYTDK6kc3vnM0USX87PEKdcFTqv
ceAiCZemglOGrA8lRIFhDhS3DhFbGGYuxc1j427D3xTOk9wuPsWE+VPhWDx5Br9o
41woF6mvEvFqwXhYIhdYWirmCv3FmyaHdvZOuh6iDaeUYJlIPDN2Jwjz6Q0Xokb+
SxVC5pjS6l8mal0ucPf6av3sKiXXCARbOM97u6qNAwDLgs4WfGX6RTE5CeABssCh
2c3RZcEkAjwbYhFBAkr72DUnrROE/KRp3vatJ8eDxSZLCsJ4emk=
=yikk
-----END PGP SIGNATURE-----