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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.11.6-2
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:
 08f9ecbc66572054676ae838d52fe8341316a1c1 82555 coq-ext-lib_0.11.6.orig.tar.gz
 2de72195163341d89dea67b64cb1127c978ef121 1956 coq-ext-lib_0.11.6-2.debian.tar.xz
Checksums-Sha256:
 ccc142b9e8ddb6b2f007cdded318e31c528ddbafe3b84a803f77e796e820b409 82555 coq-ext-lib_0.11.6.orig.tar.gz
 d9f8b0a9d3158bb5088c41c7656542484061c47fb5aa8d2e1ddb23a95827bbee 1956 coq-ext-lib_0.11.6-2.debian.tar.xz
Files:
 442577afb6ff3a02043478690057cc21 82555 coq-ext-lib_0.11.6.orig.tar.gz
 72b801c99271dcead60f0203540dc52f 1956 coq-ext-lib_0.11.6-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSmw4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRkvIP/RIe36GZnCSt3E11W4s4Cl7T/Pv0UE6P
ucToxP2Lzq2YRysA0hc0cwabhoQO5cnWHQP87YHb0EqRtSq9DnRLZPrhC1FpeJRj
hXuxpV/aZyqnWuhUpb4ZIrOQ4l7UPnKD0SEhlugi7lr30CK3E7WQmYMPVC+8r9ng
m41GXJrU5Ro4JCxQUTR7JW12m3n+yjWWa4doL5RZ0YUqoHda5lCJ7/epwwNXSmZ1
X0ynnd8GhCjswo3zEoWWlXDqzXUH4U7WbOczAB7z/wzTg3gMZfnlUBmTgfyrND9R
MaJlIVoukvxBnVtOcpAepWurVF4h5+zONN92ZsNMh/ziS5ILS3Bdwl/27/mWBRTZ
DqMZO3H5oRJkuc80Ms7lE2i6EuGNr/Vno7MClXN4yqorPbCMP32FMoxDrgVbECmo
J0wfubCX5zQNoqP89IP3mr/qKfVjWF9k1mdPYo9Vs3pxHDFdNECgIY/mQhSVaULx
7OHCZPpVpb/Yw5mamfBwI39PHbrGGNmfF+3oNw5DoRJPKAwXnkNmr2wcl9Kics4w
P+FIXK00UTTLmb2QKXdxdfmogE3l62WYblUokpKVACdjruDPW0+/BiTrouvifxin
JPASWMjMY2jNX/66y0MP5GaG8v2lvaGZXd0+DdpxbGc5i4vn9cRMcDQY9F1L7E7Y
40C7mnOGQU4C
=mYJR
-----END PGP SIGNATURE-----