-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.11.7-1build2
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
 f96a34480be8def0bb3e36ea31103f7345288ef9 2084 coq-ext-lib_0.11.7-1build2.debian.tar.xz
Checksums-Sha256:
 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 82956 coq-ext-lib_0.11.7.orig.tar.gz
 eb1ad8b4477892baf05f7eabf3bb4339e3c34feb20809eee85f05e7c44ad7355 2084 coq-ext-lib_0.11.7-1build2.debian.tar.xz
Files:
 a71175b8e2b9c005d4e333a25ace42ba 82956 coq-ext-lib_0.11.7.orig.tar.gz
 41fe98ebdbd92bb38b3b77317b9d6924 2084 coq-ext-lib_0.11.7-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBVwACgkQ808JdE6f
XdngUBAA19FLFEp/xg4M5jIYUUFtLGvaA+aZWZzSiHLpeQ0nqmrXPRKIywqPIoh9
DKZfa2HH4RP4vmqSZN+Y/aanH0uoG/XozUTVQGO0jPx/+nTLB1hyGc2EA+aHVQhi
dnirQ+7QpB69biwCJ10DNGonOoZ2Bq3B8JmO+njj35pYQG1S/NKTDrKRjrLV7hRp
0oi6upULdMho7nwkwWSy809uWzGO1C1Qbe78O/47a2q2SemeZXgnimMcrvjqrc4R
mFKl+gM3N14LrjqEWyuVxXuHsu+qWw2xaq+M68P1jYU6RiPTciQRomgFWxKyB9lD
ObWeALD7w7GR1esAWfrHLUpjQdj516+iYyaYuvf6Bw1R/dZ1J4o+ZzOgjJydKxXV
5ErH2qve/qT3pPai8vzs3hwAm3tXhKKzsWIIRLd5wA0tDzpbNt2JBk58T/V73uRD
qdSEh/arYI1Lo/MQEwbE6r9PiCbyMfbrGulD2pXNqOncoY3ef395qvh2IQs0fZ9X
Gs9/Mzfn6xNWm8N0OdtZWPqBu6BM2BlyjySXPs7DMfMlXGFInqOCpSp11nd03w/2
NMsSVJlKfQBH4J292BOFlE5/XNo1ggnlQPu3ZGDkbCBOpojPUYKQDPMmO9hK3+jn
6w5VtiDR6q9bFEmZhoQfppf+qnnisp1+UjIfkd2Bx/mC5P8INj8=
=bjOf
-----END PGP SIGNATURE-----