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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.4-3build2
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
 a323817a1c87b256e079d25b57b33364598302ee 1656 coq-reduction-effects_0.1.4-3build2.debian.tar.xz
Checksums-Sha256:
 dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 929111087dda62e87c3b8a2dcd35b7aecf6946964764715058311bf152fa7155 1656 coq-reduction-effects_0.1.4-3build2.debian.tar.xz
Files:
 1f6c0770a41952367eca4c137ea1783e 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 512ce6edac93572bb0f7c6cff2c5e562 1656 coq-reduction-effects_0.1.4-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudfQACgkQ808JdE6f
XdmI3xAAkEU0IbtMV25ZBDb3ApjmS3LQH38X7k00V4K72MJVrGN2KMrBCNGRAtaG
9vQaZjolenkHIIBmy1TqnKvgDtA2BRvtbDJ7mjFJ9rUA+2FLLPcr5WN+EIYEFrpL
fjtSxYFL5XVMboc/qlIR9Fir/Tzp6sGckhP7ofL12xq11XGLbIRWpDljBjAS4Mly
R4sy7BvCRRl6YGh0TjGFAo1BPjHIxz1AL06h0m7H47qOcVYwgUGjVfcRF2OYEL1j
4foeW1X8CDdbZCQF55NDt/iBNHbFvrHW5fA+O9K6lmnW8PbyALQHG4tlmyXbIQe0
dEdCrzHYnCWwQz23a5cEAyJwIAXaESonVnOCvOiaMAKogREXdipGZaF2z++scTJm
xD2SBU6R1IM1XWD+on/CbyOr8s6rgxyIFVdPi177aeiqRU6iuSnB+OC6GoexL/1B
ltE7UBA0k/NpGMZbjavuwQkigK52KF9sraGZPNE7B9JeHQiaD/Ur3AB/RC8OvDct
rEgkp8G3qKxzI8M48khVeQET4ooHjYpzzU11c81kCF/4lJLeFbY7ePjAIH7nZaZi
+tOlXO5i7WbSXOwWu2IUBp0tsuloh97MUjuYcoqda0UbuUZNNMoiCxEHPv5bEZUU
g0bjHrskwI8O5Uk5o0RTYoYN6TGwBilQBAGI/BcY4+PGeBG4vGs=
=h3QS
-----END PGP SIGNATURE-----