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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.11.7-1
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.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-ext-lib deb ocaml optional arch=any
Checksums-Sha1:
 bedf3d0560c3cda2301d65bcd05bd7a4cf1d07cc 82956 coq-ext-lib_0.11.7.orig.tar.gz
 dfefff7db578ab70bb72bf8a69b24496cb11c8dc 1988 coq-ext-lib_0.11.7-1.debian.tar.xz
Checksums-Sha256:
 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 82956 coq-ext-lib_0.11.7.orig.tar.gz
 2d089c82ae38b8eeee9ea09800ce19c48cd089990955de76fee7e3e87ec4f691 1988 coq-ext-lib_0.11.7-1.debian.tar.xz
Files:
 a71175b8e2b9c005d4e333a25ace42ba 82956 coq-ext-lib_0.11.7.orig.tar.gz
 2cbf19b5e9a481fd1f74ac53dafeaef7 1988 coq-ext-lib_0.11.7-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4GngSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR5FUP/At24It+Log9LLWSM6kISvKlxkec0aS3
aZGNEDSYcebilXE/IKqLJcbcerIJmRgyxZjgfX53voydhNe6wN9LoBp3NcT+EKUr
hCDln8XFMZXd4WX2sAaxF7ls0jtYe6FtjPYMLWLPCcifqPcucbd5NF8fDb9JlSKi
HMdkSVWzFhEhlaJ4nZEO77mnH93FKtJ75n0EFMsfAWi1O5J4lyd2/Ywh3LO9hlut
P5Q5zuzSSeoLU/pf14WDrfg/ACRBtL2Mspuf5jwVvy1vS1iyFb4/ltRB7V0F7kfl
rYICyr2/7VNi8aC9FrStaJmsIsIpmNJnqK3VJNuC6he+EZJgav3sCwJohUNRG92J
6I+OobaawdzXpTL8uFg0KcmBWj4GjmHaVhfG9aXWrjVsYkRCVro8TA9AARmXr3B7
H6O/l0yBNrxM/zQNVsFrish51pEgE6sf0pLTydivfXC18rKi7d48e9PE+/T98Dw5
5PhZuSpLjy/+nwNutzQwKYPiV3rRJMHzAbI3Uc5Xfcj7nAdlB22Cf7EQUbzWHDDl
/TwmuBZI+OLTq5Xh8KdIdtETRjQ9XQRTqE0N9zDOlH8zrRSQv7Okszx4b1nPUm8v
gNUStkVie45r+uee5KR3EaCnqh6gibhL/RsDhO2FfBgIhGhNQ7VU6Smwh7SDmAYy
qmfUOc5k4pD/
=1mcu
-----END PGP SIGNATURE-----