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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.1-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.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
 fd8a9d38666ffbdc6e7712a7efabfd57de46f1c8 2260 coq-ext-lib_0.12.1-1.debian.tar.xz
Checksums-Sha256:
 e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 d1ad6d64448371b326b6af54f778298a3969f5a23b78583e337417d54bf85310 2260 coq-ext-lib_0.12.1-1.debian.tar.xz
Files:
 ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 6d0557063e5445947846fa5365cc5d69 2260 coq-ext-lib_0.12.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHzugSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYOAP/j9b4lhuHXcIx7g8C/6MQ+AO0Ngu3L27
Yg00CKmVZnlGA1C6RLNFxnGqOJSFz+FlmmZrPlo84wre+s1hr2ojj/+UKAjuVtIg
5vuTB4PW0owqphO2S1G/MIkWtGxeAJNCCrOdGL4hYCTI1khkBtnThC42In0z1gSq
poVsHZIT+zvHDyWqQaM/rs9pHiz7SDJugrzjaL+bBVwDBrzWLPASECoRmF5c1U2O
u9SEsDLI5HGoxa5MYH3vwb5aDCkEuCQ+wxovG5Z8cH8jEFcA395r9nYtT5f++3hG
+h4GYcmd5JB2hfkqhoBU/MOp8LuwZcaZPEr/4V1h1kuiFz0S9bEPbtPiQcJEzNXV
a8gX6JxgZSniXJ/hNypJBiga80dzZRrU2F4bK5GMSU/Z6ftweCHxNRMYUfyiJ9lK
w953jF7zwFLTaeu5YtzFVKgJp7BKChIWIkcFQmuB4Pe5isK/FJYaKWzLiJC7LSTK
sGGq0/8KDkNjU5hrzqBdQ9Ux3Jh2VY1tza18nM1hnB/wGMToSzvqHAIq2KjXWOEL
juUPRO0Or2QxyGW0seCuejeX3v6K5BwDbC9v+pdKGPDfg8FfdiLceIsDyRQv88s5
gkOlU6DFa0uKrkoe03xbwnA+ZySn8+fOd7r+bxlyK2+/AYjWKVo72BZMg3IhrCDG
FVqoPHgYoERS
=Hmkv
-----END PGP SIGNATURE-----