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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.1-1build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-ext-lib
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-ext-lib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-ext-lib deb ocaml optional arch=any
Checksums-Sha1:
 742b9f4837564033942150a71878b484f4d17657 84299 coq-ext-lib_0.12.1.orig.tar.gz
 5c62fb0267db78f0bf36b7fab46095d893a974fd 2352 coq-ext-lib_0.12.1-1build2.debian.tar.xz
Checksums-Sha256:
 e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 72c7381aad756529ae7bd09e5d019fe3d7278e5ade4890212b50488bc65dedb0 2352 coq-ext-lib_0.12.1-1build2.debian.tar.xz
Files:
 ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 685c71ace8c9df3242cc8f06b094ad0e 2352 coq-ext-lib_0.12.1-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWc0ACgkQ808JdE6f
XdnlwQ/+MciAvzWuMyzho5lOFn/66ihcYhhfGku/AenH/eIP6FzqbFUJs4I3sWFz
qcIwyVohwNRtZ9HUVhWlq8PDUo4IA8LD1P0GUENcNS2v5vAHiqXFjx413pAF0ibv
EOy9Q5jTWr0hBGbMvUcmTSe5dMz82MeoGdUucpSeigvHPhPWSV4OTnHmx+EL02XN
JLqUBxzdo7DzeWJ/dD9Y69EvkV0czKsT3CjB1h/F8FJ6PYPaV0BY3llhmCqhBfb7
MqdyDLYAU6/LBVooHEV2B4zYRCvAjUP9mBlkhj8VORWy1VdngNbncRCafc6XhIjv
xW9EQB/QLO5TUX9gQ673lKueGdNzYRctYmfBWooz+oKAjim9nJIIQV7d1AmEMfKT
if/o92C5ylW5HJdUbqHmBJ/14M+Uv1fe+gGQ1XFPJlPSegoWCvTlGYZL0uYK1Q9u
YaB6xDOR3jQb4OGuSeVn2cXywiXGsj83NVI7uoJzwHdozx2z5eA57Lw0hNOvtrqx
T8pEFT976trPSR8RriJ4b/nDRLUnSfLar4vO8tQa0KkUH1ATmXbTVWGmowu6Zxun
rEo3Hzc3mCaTk1RvP6kbtVovj7PrKJ+WxO+lx82cPOAx2M2cZBdWfLnyn5cdb44S
I/Zs4P+iCpB3UZWohFpiqvpxNkqtwK0iUSSjGxBVJF7XhKuvDyI=
=ART0
-----END PGP SIGNATURE-----