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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.1-2build1
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
 daa65a2c1c9e3ae0904790ff2c82bc55c2e44aad 2408 coq-ext-lib_0.12.1-2build1.debian.tar.xz
Checksums-Sha256:
 e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 c38a8e20112ea8a95858a7f3e0fb003cfbb94debf80fcb889ecede9d358092f2 2408 coq-ext-lib_0.12.1-2build1.debian.tar.xz
Files:
 ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 2a68e9441515d787f833bf5751455854 2408 coq-ext-lib_0.12.1-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmavm/YACgkQ5mx3Wuv+
bH3pLRAAwQUVc/ncm7jdtJNt91w8szXGnRvIFbNdlsq9D06+lrL8cEAHWF9oN80Y
diPykjm3Pdeb6yaow1n5/ChlcxCfrzx4ROH3NSddm6WwQYR0KEMZXEXPc8tfu5Bw
5ZHvcA5xuzIyfzv4SjcnmMYpGqdUNGS9K3JXjUAvmxBU9Q9G219kHK9lsajR0Hg+
7SccNg4dN4hnffAguT4CxEU7DT4QzvHQp+OgKPqgvk8sNbUkMxkrQe3VyUfMbTFV
O21yJPJEewXBoe/zLZUE1iPdaMCjEQoZvVWiimUPR+3zd9KA/nZH+DOdWmu5BEgU
xU765P/kFMhQDFjMeVkz/9bjIDdGBlcJJVU5vZdF+Nj5wrTHjhpxB6FcPxyz19+O
wQpFRE3IcP8WFzGFXdtBojoTCDCGusfsiK/N0aDYcrv8dVRJZSFhRyliYz2z4Rev
H+ruG69D/t/8JEF/xvAWE0aYMgfah1VqqEd2nTtmXk02HhkTEuIgncpOfe8ZCcRv
c2IddxqtuhZ78y52MkoDdeZTnweUWQL24N85xupZgc59zxki5p+FpO6W1XQK2o0p
HinW9SSdCBa5tfO/voL/kE3+Ix5YhwDMdokx44EI/orA64f/5m7IgvJkxlRQxnI5
XnurtJP5nBc4Zwz/MZ5OifAdlKf/WCjP44DHvyCuY4/IHO/JekY=
=i4rj
-----END PGP SIGNATURE-----