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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.4-3
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
 5526f1e7e28a864be59b393427050f8cda7c3ef8 1572 coq-reduction-effects_0.1.4-3.debian.tar.xz
Checksums-Sha256:
 dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 69fe763c131defe4a6574b5799a02a4ecbaabbae60193d8ce7a6d6b389f2c404 1572 coq-reduction-effects_0.1.4-3.debian.tar.xz
Files:
 1f6c0770a41952367eca4c137ea1783e 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 e1d5c7cc627c0cd3e55910fac6e8405e 1572 coq-reduction-effects_0.1.4-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ3CkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGdEP/3WtQLYfoEpxosQhR/4857Wa3pz6Ok6Y
ap5F8j92MvbvTk4gpsdhncUiL557184075H9CrqPIdFABzDKKfJ6lDxEGlu+oWJ5
iQ/1zg/wLXKDSfV2LohaymF4FLXSETrrMEDzp4KIjw1APTGZuzB3ojzScjDWMS+e
X6XNOP7OGwlCgQINZa5m4fpFqhJR1Lyl9RcA9dxxivxT0QX5v+B6MDCdC7Jyhaxw
5l/ymzy8eLmgOjFA8CIXDbJLXSEEjZ9Clb8tB1pu0rVTxhqRZIF4DqeAihMpgSqg
L9RkZET/FUr7LU9KorWlCRSF3pN3w0QjtZBbUQ06QvnGwAppUiD77E5EATLRsBwD
YMupKwAE+rrzB/78WX9b6hQuOH9XcQo+ou4NfU9/IfvjzpPrboSEQ83nPUYfSc45
dmZV7r5QEGnYKrHdfXa9IcRc8fPJKlcCvqa5zYGpG9TQ+M2p4AhFzXcPc+meZP4U
s9ogVth5+lYoZlzLAhLgoWLYp01m3WOg/YhXUlxeGE4Y/YdkEN0FEWkvfs9s9QBj
YddpOxHBPn1lTU3bAyp77mFNxcb2hZJbZ3fyMNoi4nyHifIstIZsvFmHsOZRb8hK
EDxAG5rFt/OR2wud+Zg5IAFhqbxJVIcsOoJqFu7nF0sGmQqYaafsMmJTYklDU0OI
V/FG2DFOvHmC
=fGnC
-----END PGP SIGNATURE-----