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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.4-3build1
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-core-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
 6436868b987aa191adb3c26032ff5a862e26fd5d 1644 coq-reduction-effects_0.1.4-3build1.debian.tar.xz
Checksums-Sha256:
 dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 c2c95c5d5593fcb15aafb679f7cb60ce34dc519225d79cbcc05eb29a9f1eef44 1644 coq-reduction-effects_0.1.4-3build1.debian.tar.xz
Files:
 1f6c0770a41952367eca4c137ea1783e 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 41dfb59225e82a64b23c187cc7214427 1644 coq-reduction-effects_0.1.4-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeYwACgkQ808JdE6f
Xdmpbg/9FPK1/3sPIeyOnhHcfEV1p69WdJxVEwOn9O+lL8eOiczclTc8ksknBnPG
iEnbSccrSwspIXTNYUQqWrNbr/SwBEJa2iuMQlOFHKX8OZXK/TqwnF9N30c1QNQF
kcKOpgzG6FN90dQ5SuNl7Agb7YzYT9ZXBIwdioRgyc7cPv0CKYPDOE9M0932SsLc
jo7bp+6OzuKRTDD9NMflit7szco1JCcESMMu0VzDW4JS4NRB6q/2DDnAozSmFTxr
7x2cXsqz/9MAqO+VDfrCeFYczjjQizjSU5Rk/JRZkWHLSNWvi+4ORExulMV45ccR
GGjyqOFO03AWFgtRl8jmy+sBuqYzgr222wLTlp6OYRCb5nEU5k7ei5e99rEZgiyR
80jXSFl3lYrmqiyx7L2mcmWDBHhmQqNk2GchlRLM2WiV3F/aeqjEViSnZiF3sfiU
K3yIdYB3YjL8WSxSHvlyxbRWYvrySRcLI0xPeZU/2B9Nq5HcvhfLP4anqhNd3TDE
fg0FCRA81Pb+gTZ+MP89CKdsCNprLRsGxNgm3BkE//ojvcykM2IQVsK9Yow2Y4WS
9PjLwHIkXXOPYv5ugsHyz1N2UzCCxe0MCyeOLM/je8lcxan369EvNPEcyCRyQA4A
sfPUA9XrxzB5rxxxqPf3GthhkQnN8ppbbFxEEGKOPlpbJhc5eNY=
=VEKH
-----END PGP SIGNATURE-----