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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.5-5build10
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
 8b6aa9b8ac8cb570a64ecbb95313e0f40e0d2428 2184 coq-reduction-effects_0.1.5-5build10.debian.tar.xz
Checksums-Sha256:
 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 8b862063208a5ef22b546264ba55efa818ad255620fb2591e38c8f788d5440bb 2184 coq-reduction-effects_0.1.5-5build10.debian.tar.xz
Files:
 e913b9fcfe9ff88a5e637b8e05191a0e 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 ea8cb9a253621d8a8fbe3c421f881c6b 2184 coq-reduction-effects_0.1.5-5build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s8UACgkQ808JdE6f
XdllMA//fETLrcs1ij3X8SV1S/qRAmCASBExYUcoyPSdSMPo/OVEEtozV9Rt4HyM
nqu0srrceoEB9CGCmWhEojQdBw84n7JR0AQEd+SPufZkhfqg3Wm4MevwdNjrllrb
TCocJlpyO+aO7vC2JomlUgwUplob/DK3T9MVvsMDiQA8DtEuJJtMIXxSegV2kHFI
nyk+uc/NRJwBpwruYEb8w5ibT4LeWWuwWzft2ghLgCO9HzhyJ35LyyjDOBot6m+U
QE3XUDoEPcQQNtPia0J5l/C6ZfD9wxOIcZZ7l8wabvMmgi6ySM3Zkzk31iiJoXm7
Psb+YMKgXhW6u+wgUinKvB8Oq36e1hbrP5MJpWlKpx8j534euMJgsh6tptYgghEQ
k6VNwr+3iOaosNyvTFhgXrmIvYM8Mq5IlgBG77xjvkYLetbmg9QIyrEq65HUyrGs
LPGZe8sXIfmDWMJzH5NpE1PdOoqMInP1m168ojFmUoAYS1c+RzlWXswS3tl1QkJw
rWbpLsvYj+xFQKcHWmoER/G2n4pVpmwLMyxEHJ8729xCpxs8vEe7GOdHcsPdKUEt
DSylocKM2Haw2KxEoOSXvKh5PipikQceIfxO/txOLAV0UbXNYw4FtIDiptsRcUeh
6BmllGQh9ECBWusooEidxbOtQZXGgsDWPXcmZK69SghpG1sI2Qo=
=TbKh
-----END PGP SIGNATURE-----