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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.5-5build3
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
 35bd38fb41d3c8fdcfeb9fe58eb0d68655d627a5 2020 coq-reduction-effects_0.1.5-5build3.debian.tar.xz
Checksums-Sha256:
 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 145d17e330137cb555ef94872a16947ee04651e9979ce4c33ab1076150684bc5 2020 coq-reduction-effects_0.1.5-5build3.debian.tar.xz
Files:
 e913b9fcfe9ff88a5e637b8e05191a0e 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 2f552c52223bdd07f7a19c60eaf366a1 2020 coq-reduction-effects_0.1.5-5build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZI0ACgkQLIPbyOm9
DjdAyw/+KuQYcUNnW0J2MuutISs+q9ajPS/4dvGx6GjIu7OrYH514+8FzvYeqL1d
KqI9x8DV9hLqohd1Z3M1QvDlgmCUb+loiNCNDDtbDJl6qo3bWQgoWgMpxzvFv4vj
VqadioQEhIkx3IdSXC+AS1xDCgHxeke6MhLGVl3+j18+UtnnLOhn96rRiuAZKJOj
05jnekH2iizNOXIjqRe9bozGo7BwCgoSTbAFynwXmjGXFlzfBqpYwp6SUPIu7mZ9
eIYlZhjc7fmaDVhqphnGMok0dr/eWvrQnyM6gF746TzxTVfrhncSHqnmsOTOJczY
1SkMPaiH0sFupTPT8I63AMkcryaGDPynSAANdGnV3qERzUQJt2mC9s7PgmPYP+3A
S25m0SkjS8APumez0E8mHgbEyuTc4EhPuHNAsObknJzGIJjhxIzCnfWhjUVnJQxj
fNxai46pero/OXi0qT/A8xrQio1VxYKqjP3cX05ob4Dw1KP//hZ/ojt/SRpmS1R1
3S/TNxraCQmqGq6X3iq9QVxfa2HbE3vQzitrZ/4lkQhoxBONNDhfZtkGBz18WxL2
zLBfhMn3nsnL1W3iU3nAkSyNritloXzgzxmUmOHcLAV131+rWJjtzyGRive80wdG
VQQhHFK2vOz1qr2PEJXAsKGLbtrBLzzSbpMfzYkg+5z+0ZVpiU0=
=QGRy
-----END PGP SIGNATURE-----