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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.5-5build6
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
 5aec4a0132fed67778e5244b06ebf60bfca405e8 2096 coq-reduction-effects_0.1.5-5build6.debian.tar.xz
Checksums-Sha256:
 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 81c19fe0bd40d3d8a113b5ac5dc0edf98a4188ff587553772984008d9fbf2c70 2096 coq-reduction-effects_0.1.5-5build6.debian.tar.xz
Files:
 e913b9fcfe9ff88a5e637b8e05191a0e 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 bee3b7c140eabafec2403cfed8ef78f0 2096 coq-reduction-effects_0.1.5-5build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeugRwACgkQ808JdE6f
XdkbAg/+NHUOAHXWZfxdBOMg2MHWZizWaZJGlnlcrlbyIJe1jFvloYnrqQxk/G1b
3yDrRPQv0clbZS1p7yQolYEGnzRbgRoOdPZwAcy+OvMkEbSl8wbC332EBW4EXoas
irJ21M5dsoHDtQeiantdByjCy9P/jmXy1WxJcMZhkG16Js0GNXqMO9NonCSvnwY5
P86ohuASp3jQGLg3OKatuCvOtevZ0vwXsmWeyoH3Tnbaxtpjji/dOEeat9zpmSeC
yhHZLHiHk5bS2lfZ2z512a0DkV84t3tbUXdalGlztxqTUOQnz7TNOcIejzn9QuwR
kXDIizGKDszjtAYfdqzX6UEAQqXRo1UIaScKHRf3agY0+IzAf7W/4RvoGGdQ53jk
3ML3RdbgZfmbStB+bu85lNpDD9rGycwHzNLw9F7P81aTbFdH51jaP9ItW3igRUYR
V+dFbzNVbsH58E639eQtLffeDeZbJ87reR4O+u1fNYCeMHz1D2y8EiemkbYQZmw1
KbmC4OCc+2NOGFyIpDmz1IqDkICPqU3YsPNlw6AMzfE2CdUW2M5jQ1BYvGzoKg2Q
dVF+o0+uAq3wq86q/X1i1GoUt4FRO+wrFPXf79lbKo96qjJVzTwLT6yVnYpDCvqq
ndUZVWar4NOQYHQ/XmrdMGsGEdyncI/rs4Dds4HrqwuoBUOb3xI=
=rn0g
-----END PGP SIGNATURE-----