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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.4-2build2
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-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
 afa5dbdc229664c40f1271e7ab1bae24c484bd14 1612 coq-reduction-effects_0.1.4-2build2.debian.tar.xz
Checksums-Sha256:
 dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 fd95715afddd174afd3ff2ea69a8b7dd87d4a782ce348d6976b57784d42e9f2c 1612 coq-reduction-effects_0.1.4-2build2.debian.tar.xz
Files:
 1f6c0770a41952367eca4c137ea1783e 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 f28774272ac3b536714d417577ff60f7 1612 coq-reduction-effects_0.1.4-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBZAACgkQ808JdE6f
XdkOkg//WYzqfCTBljh+AYHXt6tqkNDuy0HOaLDrodrlVDLgTnbtD2Bl66k2swyp
+oUGgJ0QE9Xq0xcDRSDwmUQzlY90pqjkg/fElOQOYEOiyndRjKcEMh6WYLl0Pc19
xrrq8+D1KLRAcX7TUJoxgqlFVf2gqc3ctlCB3PfCVThgUhLFH8uDiz5VeiGRrps+
4gG3njt0yP3knuqfKneqwGW4lwjAjYg2uXbnQ9TarHjrwJcgXsDkYeivp3Fo3JYK
ddQq4XKrGlQrWBKqHz6nrWyx+R1oYr1Y+G8LHdunbnLOwCEczu7bjVjwdafX3H+W
xr3qynxtK9jtRg6WnMOsiQqujzlDyCATMJMBnS/JSvyo0etisKm04xcfaEOWQNhI
o4o/mIkkH57uq//JieJH4Hj0iL5LwK7/4kr0lOB4J+KDHS8n4Mqnp/rzH8W1LeWW
a8ItUZ6C5hNlB1JYBvUMek8v1WhAKKnAi9uTdwrerOTWB2YQx+8ngR4f9X82BQyr
NFmu24FuyLLHj0mP0NIsdWe3m5qSf+GEmv4cg7BGPnsCaWzgGOmH8+VuAxDth5S7
Kk165mz6/aiX5kyLH7ICDdSSREw4I0GLiBr7okeXA4PXSlEUqtnHb/BGkYc+tH2q
UFJtZphwYBL545sE5VCraumCf7NAPPiR7HAY9RKyb+93SYj9Pj4=
=OkKZ
-----END PGP SIGNATURE-----