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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.11.6-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:
 08f9ecbc66572054676ae838d52fe8341316a1c1 82555 coq-ext-lib_0.11.6.orig.tar.gz
 a7b5fc15b1b7bc2cee84aa78619b1fac9ab58ec5 1948 coq-ext-lib_0.11.6-1.debian.tar.xz
Checksums-Sha256:
 ccc142b9e8ddb6b2f007cdded318e31c528ddbafe3b84a803f77e796e820b409 82555 coq-ext-lib_0.11.6.orig.tar.gz
 7f0b0deb49e0d56a4de7b267de71fa9acaae1414e015aeee76551d941d3fb2cb 1948 coq-ext-lib_0.11.6-1.debian.tar.xz
Files:
 442577afb6ff3a02043478690057cc21 82555 coq-ext-lib_0.11.6.orig.tar.gz
 98439e3a1657ffe99baa59f71f068146 1948 coq-ext-lib_0.11.6-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6m38SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRmc0P/A0XWxZipgBHn2lmH95z4esg6HVEQvcB
Bvp6+I7xZ3YCK2+gQthVNbPJGoVAeLteOZXIpIWmW4v308svN+3khAxednS0dgZZ
DC4OSSn4kmB5zeuoXDhkwjuSgTVnVpSqlilklJ0T8FchpXQ0wCOC6Ts4PkMbaLiP
LxSfAn6ugkBDlTR4CJzUVL3j/DpMP62T4ag15ythSaKa/kp/rZYv5mgy1M+y2Ggm
nogfHqEm7Okz6hjG5/IfjQLDe4W2dVjN6af2RNgqyWtAwco5or5nTXQeIFNvwfOb
KfMmSw1ilMgzlt5jYo+uC4HqaUfiL98A9fHgUfVsA/4uyNeASDTp+oYVabnLfmsK
UirwO2VtchcxheHnhvirA1s7tj1INvyaQ/+aRn/xPpW2JVGaNpoNvgQChGvZ7Axu
l0QFMRgrPsJDqn2riH2npKlLWpNQ4YDQCbydNfrSVTO0YVZ33bHT5tAMdWM7OFth
RDXGaoapIn1X3cpUSCXmgHsLdBa0ihWDip6vOS78JDW9j2bCwf40SNbKMPjizFBz
f4Fd2f4+1gdbovLQsTKGI+k/J8ef9Y5kocYW8aYAKcqYF+U5g65DDIIZGywrLg4w
EpQXeTxCTlEuAnS2AAYxZPoWHRSeA6bln3c+m2W7Ll+TcsETfeBzWMugImbc9GML
fOPpTbkX/kxF
=9psh
-----END PGP SIGNATURE-----