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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.5-5build9
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
 d312549868e4123f16410af84c1b5425f80ec088 2172 coq-reduction-effects_0.1.5-5build9.debian.tar.xz
Checksums-Sha256:
 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 c16cc4bd8e7996ed4337103264abed5391f340a895b2c9a4a9fc02000815e273 2172 coq-reduction-effects_0.1.5-5build9.debian.tar.xz
Files:
 e913b9fcfe9ff88a5e637b8e05191a0e 10369 coq-reduction-effects_0.1.5.orig.tar.gz
 89f0362ef5f28ff08e49762c39e98571 2172 coq-reduction-effects_0.1.5-5build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9SYACgkQ808JdE6f
XdmtjA//aWKmsT5PNkISEiLnO21PdraJnabaTynC/A54piVDvT8xSe48dp/wf4B4
2Dkkkd3lga0PYssvrOUuY6TigO5a/k1IavwSF3EMnclSXIof5R2AIHIrA7j0m1OS
un+452aiyVBoo4rvRRj7LPKGd9QS1MApCICYACpmsiTyyshOVHD4mW6n8X7z1vkJ
oBMunQ0CUtRUygby5jyWUbF/4l5Wl8X3lUJw48T5g8dMd0vw1ZWbKCDOcUdB+yy3
Y6Z4FyCRIFy6NzdOrQ1N/o+JjAGHKTJtRYvY7nfQNtkkmf2xBw1hWSt3nGtHl9h1
myJ8jeczNeSAqwtubQqQXCik0IJAiLcG2X/ZeA9mX7fGMK4W1G443Lf3HNdxqypL
CYTMoCNYiTgQDmpgDYJrQVLVKPivt2K+TG3LgMtHu9OZeQQc9BmpmqKB6vr1gu2p
SUFS5bZZ8o9ovIYQrc8hA3ZqQH4Op0iOMdNVn0wK2bx+5OGCis1okMbbCiWYbfa8
vR9z9uvR/TFq+rcu1nBcehhmmzUw5ioDB6RpLJPpOtX6WWDQmGU3tiSzbFTK8CKe
GsY/z/4Jj61OUEXBN7dnxWTs/YE8qqwgA9YvHLyX3FrAHla0Uq4kdbBsVw5dFaG1
3FXpWQcu7KGMrORcu9nD7EqcDl8byO59aWWesQasw8gl7qd2jnE=
=1hia
-----END PGP SIGNATURE-----