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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.0-3
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.7.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 (>= 9), 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:
 2014297759e8e54f2e5cb57ad6c096eacea5eab9 85306 coq-ext-lib_0.13.0.orig.tar.gz
 64dcfadc11ca933ecd95977148e94a1d0deb6e35 2464 coq-ext-lib_0.13.0-3.debian.tar.xz
Checksums-Sha256:
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 8966f4ad52b1cba19979e5770f14c39adeed39849de14ff5e990b8411a6b00b7 2464 coq-ext-lib_0.13.0-3.debian.tar.xz
Files:
 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz
 dffec808a322fba69d7cdf3e0033561f 2464 coq-ext-lib_0.13.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcnYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUT3VD/0ehYN6umBizYceqiKXAlgB
1biKRzzf6P5puaKFz4EdTZG1Ik8B22kZVyPY/1gJwF1L3U6P2qKZctC8LbAFcpRu
VkEt6GTDMq5qATOSVkiB1O8DIYP11piyZcwmm8U5YyhOGxvwyEVQhJahpllTpZUC
WNya5sVYKoo4SLIjas+NMUf+5ldjOmLFG5mQfhEqBd4PvIK+ZKBZzX9qNGMVaLeK
4udk+VJKXJ8WAqjd7pb+sBbFwElvmExVXd+QiKkP54Tge7RcxErYRsnSkyjFrdE/
vBjuCQGf29/a4Lw0xZHV6pIb0ZnNACRacrVnEuN94FILV2S9VYE8dJO0sz6YFxH9
aCgMVq0SMLKtsua1rmlDPo2C/5HO8VzRzvyUGLgxFuKgsgKjSrisAAwbUbITyJO+
mdnmjyiYPKcNFui/mPkpNIdXa2Tqet0rfikqPWcduYjx2mImeRwjXq741EozSQ+T
cIDlSkoO6MHMNunvbbp8SF1xhH0E/8DpFWXyJ+mZMRQbJYmOtXOKlZxDe5duAKc+
TufWUFc77hUgW8BwvcA/h0etoIiaA36uWW9InGmTWJT4PZrwXz+VuWj04uPK1tS8
SDPl+CXaHANBAIZlBpHqviMn2SbpMFx0HcLYaOI/VjuhLPROmxhAKGKodKm9rUcG
kUhlnM3Uk3tHdfA3ojYUTA==
=c/w9
-----END PGP SIGNATURE-----