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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.4-2build3
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 (>= 8.16), 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:
 b43dd0b132a2a8e1f3024ae6616f4ecf4d5862dc 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 966eadcdbc3a5a53eb9110a82fcb5c4848b40704 1628 coq-reduction-effects_0.1.4-2build3.debian.tar.xz
Checksums-Sha256:
 dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 074ff45bd599cc5e49345e1af0b921c221dd5ba4fb78055412eaa1f8dc282c28 1628 coq-reduction-effects_0.1.4-2build3.debian.tar.xz
Files:
 1f6c0770a41952367eca4c137ea1783e 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 6146ec6e69f24ad42601cbad56aa09cf 1628 coq-reduction-effects_0.1.4-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGr4ACgkQ808JdE6f
XdmelBAAunmPRjmiLkgXfgpfLEdAvKPGAnvk7nSlsE4lMo3fRhJeCh02M5xRc9Sn
u5JjB3HJ+6eKKIUiJbisFzT0GTaDmuHSC7LmeAbA+yKsnpFCypMxO3L62qxyKRbV
1wAtieqiJqwpCtE4GlSp52nAixwXbtP6cXChPGO4B/TlgdaMTBlZuLtylo2vOuWA
k3KnXuCwY2ybC99SLneafNp0j6gfjUWxIIS7f7XmJB3Hijf8rMin2wSo+IK4WSNt
TmHdnA0dcpu4pqnu466VWZwLqn72m1FX9tviuA3RaCYPt8BZshi8L5i59gPBGwBi
D37F/CR/bnPl0SDv/LKduc5eVravsSr/NSrFKI2rEvkEdk4EdjULIo0MPWAFxt93
xNTOYkJ2kZZO7dXP7sz2luPF2F3jR9p/S/QnNUbB0kMe04VTt6G0ngwswwKLytrH
TLN11zxArAhC+xU8z2A65naH1vocfUxxi1s3DA16zfft31nX0vU9KMNCzBGygJp/
+v39/AMZ5hcuimJGZJ2fG8UL0VxmICXxwarDdySPnky6cJWKghl5SRWvJp0a/d57
hB+ZlH/ZKH1HH3+C0Hd/uQluUwyDIgfuqBk0nfAA9urhm8Ffi69R+VwtjUPK+m9Y
YOMv1JcOypRFjgNIr6DP+5KaLULZaxIc80mbacijeg3IKO1SrIA=
=HLof
-----END PGP SIGNATURE-----