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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.5-4build2
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
 7206da605908d97f4a0460e281e47a6e01043774 1892 coq-reduction-effects_0.1.5-4build2.debian.tar.xz
Checksums-Sha256:
 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 c9e5e837840b76665787a0d8e68e72cd67280974cf43721587d17baf03f90032 1892 coq-reduction-effects_0.1.5-4build2.debian.tar.xz
Files:
 e913b9fcfe9ff88a5e637b8e05191a0e 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 e2cfb3e06c98d5c245222dc8fd23c824 1892 coq-reduction-effects_0.1.5-4build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWgEACgkQ808JdE6f
XdkKjhAAvBW2NoetkS0WjIlfmeM6Tvc6TI6ijDqF7pcBxiKmq3CRYdwlO8wIbNtg
AXHANr0dhBBvZLZ5nvAIaN5mJ0m7VxqFG5TWZbW1VsZZNxFme4tn44MX0sFzgkmG
83Km+N0IIuwLKayUbEbPC/c9bfZDV6C70ILoDo8be86cMlmtKVSW0Ws0QgxFTvKW
i4R63lMxJn0+i24g4ulI/d0TkjCGG4IH3dVllBpbnURx8DvWOCFQSuOaKv3hYsM7
tYHQRiFmdyQWOQxQtxY7PiwFAiq6VzO/NOhlWJ2hU9S1yyY1iuNra8jnOFHqPplC
KHYvPwFVdP5DWidLnRDUCXP1O/MIa1UPk9UQv1riFSAK46L7AMdTyu3i2am2FMo+
K8Ehi8XllkWTdiqYdSszymmpf5Y7el7CQRyPUl4z3z44JE16QQHUlz4InrSKbqWz
1+HoJR1oJzBeQwektw/R8MJTK9Ce3eDcAm7K1WxHHYthOIc5txlo8GzCcTr1ZHm9
qCNKxn4QiLl4nG11lkSgJHNgJEVoSFej0tLo+em7HGRL+oRH/euIOyHjCYF26tWN
kot6d8ogJ8mnP3MGhB47JAUITkpF/VDstZc7tVcsqAzd4+ZHDr4ndUDIel6BgBjN
tGzusDbTBoXH9JOOcHt3ZuC2SwpCQhIzN5AKTc6pSM9C47U5t+o=
=rHhF
-----END PGP SIGNATURE-----