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

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.6-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.7.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:
 9b57b2202f958f543b51978d7fb0feb7bb6fdb42 10436 coq-reduction-effects_0.1.6.orig.tar.gz
 48aeb70658e85ddd73114da84822e541cfe1d737 1920 coq-reduction-effects_0.1.6-1.debian.tar.xz
Checksums-Sha256:
 20d386e0606462a92458784fdaa134cdccfd9d899f75f784a56e1b96c9ea3ef6 10436 coq-reduction-effects_0.1.6.orig.tar.gz
 d2b6e8f6b2bc0e50a7ac0d692f718b4fb077fb482a87171474c31073ffb6897d 1920 coq-reduction-effects_0.1.6-1.debian.tar.xz
Files:
 cf98e2d1df03ad74339fd8145313cdab 10436 coq-reduction-effects_0.1.6.orig.tar.gz
 745cec4f96a2d772c465ba78a0dcbd07 1920 coq-reduction-effects_0.1.6-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB0AUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVV/D/sG0gmvqSUC00YVK8KFrAlB
sZ7z8iNwXqHVAzOOvlNdiOx9sN+nibD6o+UEazF4ixBEnR3zCf4lZpeQzzEeJUSi
301t0ANsC4zmLvN5iIYLnDMVWP62mgKR8XsrZZPRJg4sLLM5x4HFsHr0SQR1F4Gc
Ds0qz7UIYiHTIVNpcD5SLKBoz/69A713uzhtmNsOgYXX3cMZZVXg0zai1e9rGIaV
+B3B43d2aoVQRR5DE3TlUTHuqS3ViAxPrNbit5g+ETu18UhyZ7Mxky/HKVl25Kd3
GUxl+7ehWSy3kw/v83TmshoknzyQnZSOPdqOm22a2WQrT0q43inN4+NkGT69Tcg/
3JeBbWQLoIHlITdG2/Fvn2JgW50JolAYeqkd4zXZu+o8u/aC96sK4IcyhtmCBfnW
Jn0/XwMfbo7dXmhSdWmt9/ePczzg4nkUg4plZG8qIxh+pyHurkYYOU+Vus3hTK4b
v7L0DLorttAcFwL60Li48hnoIPm0rPBLnjs1YsvuypGDqnvpD9dz5mYsEJM3qYCI
WJJQG77zHySAfbU2qltvRy7crXB6vrsa19CIJWJieogx1DIBWZO6NTnXRH2OOzR9
/97vnxLxtgItyobQQUJ0vRF3+alvokT7oeWP4AfpK7BxOEYUvL48BlaZMxCwGwWm
nem19ajfvzepWJ5LCCayJw==
=tF4o
-----END PGP SIGNATURE-----