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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.4-4
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
 81b3ab201d14040e01c3c077b06cc070a2f05422 1696 coq-reduction-effects_0.1.4-4.debian.tar.xz
Checksums-Sha256:
 dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 0a9a8e6181fff4b93e42b4ad0ef71bc68f94955856ed1777039901bbf5a5fe43 1696 coq-reduction-effects_0.1.4-4.debian.tar.xz
Files:
 1f6c0770a41952367eca4c137ea1783e 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 505a0393732ef4b2dd08f88a686391c5 1696 coq-reduction-effects_0.1.4-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVuMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRepUP/jgfwx8Ff+LNwr34rUClwQ+n6SoK0juM
u5UbwprmPWDrCzi1IGU8Je6Lcb40HIQKosSH+MPBtm/J+QxjiC+PJH+Uz8xLgJM6
Lqnb9sv7QbOMG7BTjgJrTgDkBFS2lsRFoUX9auEfDbNBRlj46f5iiZCXCDB/iWFe
sovUe1O64gXJQJQfu7y0CzuKvOk6lQKn7fZenndSH7nNKJj5N5ijakvZptDumPx9
Er4a4ZzVUPa/BvDh6mFvyRelzdTcgJqMi5LZvFxlvcSmP4TDA8nUV5ObYBDJZ8Lr
9Yq6Do3cYIstX/MSo7fUP9T5RUVyx57Rt191jXcGT16Tn4k5cn8v8q582S9OjbYD
3Hyejs6ICCL2AanbyBknBdAf2DSa6MTjNdY647aQxbX7YzdoAqh7NDHziYtTYCRG
UsjDjYrb5HQGnh4vrmgLcOGZOJL4qdfvPoyADcxlmQBU8JmEzL2tRuSSRguzpvfo
l48SmatZciY+2OIqXDMu4DG84//oxMRlgqjIf0UBVF2+B/bu7jxAmFj/H9ecqfdT
uMPCVnVhCWX203f0JaG24/biELX0zNXmpGc7wncGvNX3o/eZ/tNHexMCD24WVYCz
bSzATY67rCJjtjImhriiLPhnAVSxwFaqzBNykDRC7RhPagg1RuKR4hjsA8TiYsG4
0wdiu2iC7CPr
=eSgk
-----END PGP SIGNATURE-----