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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.4-1
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, 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
 cacabcb1832e47f1bcafa90f32c77c6b357f8c9c 1472 coq-reduction-effects_0.1.4-1.debian.tar.xz
Checksums-Sha256:
 dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 10edeb107ee0dfb25305886150b25adf1ca8d26661bbc71cd33c031c57ba1fb2 1472 coq-reduction-effects_0.1.4-1.debian.tar.xz
Files:
 1f6c0770a41952367eca4c137ea1783e 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 8b7493c154ecdc9ff20e10d6bdb631e7 1472 coq-reduction-effects_0.1.4-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL3L1kSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReNoP/244zwesaheBEvIbuyQcjHmqMQdOZu79
sXpt2O8gE6DnaambR8QFpYDlD91pBrDEXZ+Ina7ZVytGrnUGrUelZPtZ48cuOfOi
z8e8Tw0Tg9hi6p2CTGcvsCOmw5TbffKVtfYh6cFwHuGSB+LUWMXHnQzgvvLlr8M2
HY+1FUcJ+Viv1BQB3DgNmrOSpBEiYtcBRAV3yaFj2HwW4CQVnTIixXjzvP1dPFFM
J5TObHePlnCnE3zeozRfIUPKedWkAYM9k8dPeLBfqY1a2tlRdmGtfTNzD3vNufFL
M3DkLmPbhc/yU90CV89ePEWmLFj8eBg2xfd+nF/vyJv9XX3hNbPkpFPOFJt8lZsu
kWPFKGQyFAGRrw8mFAt7FlijNirSJ2RgCJ4K4Kly/sFjm9+2wQmoktPQnQnkkNC4
aT9SgJOgin0ozY65lLNe1AtG+jao4nLqbhYttC9Rm5VaxL9jOjKk7+S8Ron+dd2s
mJTwTigFFr1yio3eueoK6oTtRJOCSJWjertse3Jg0tj2oUxd4KemIZF4ZM4vvbOh
8gmOfC8Hy8kO60KdJQKRTtNyT4c15khDCwnhbMMvU+3k/t+Bet5Qg7bdfwiwQhxF
fALSvNKutZ0u8BiaQjAJXE6EaY3UoMYq1C2tjUl8NugGoC6A4XtAm8BLGm+hVilg
B9/Py9pfnMQV
=7UOR
-----END PGP SIGNATURE-----