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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.11.7-1build3
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
 7309aa18569ea6fdb4be230754d8ca8035a71c43 2096 coq-ext-lib_0.11.7-1build3.debian.tar.xz
Checksums-Sha256:
 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 82956 coq-ext-lib_0.11.7.orig.tar.gz
 a38583aa484b58aed15013c848fc217fc522283827d4076bfd46a7c131024254 2096 coq-ext-lib_0.11.7-1build3.debian.tar.xz
Files:
 a71175b8e2b9c005d4e333a25ace42ba 82956 coq-ext-lib_0.11.7.orig.tar.gz
 e9037c6587e1776015f0f93c22988907 2096 coq-ext-lib_0.11.7-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGo0ACgkQ808JdE6f
XdkjGg/8DwKIaDI/WN63oWgIFWFxyva7fyJAlElUQV5NshIjbF+Ne46Kt0cjdcYr
N2eM1r84djM1/EscH1rZBXpGSbUoG6S1xJ6rpxz8affLGxJxIo2jyow1Pvjg/LPR
ZAj29HPWLuel6xC+iBD/60+B6V5RmwHeOVcGvmcfhCBLlvKJLR6NPQiTCbVSBB74
w2QS4BSWWBtjthgiSY2vD/YwACWblGr/869Hoi6YS9aBQF/kH6RRqvN6RMG+p3XI
IA6TMIU0JRt5kmqxJU226OCahXCf4eReDvefR1wNyYsmgls4wzkOHH0eaq8u+Ks+
1M5Vq3ALdJU7jxdPBoggZlvWdxo83KXyMiujvPhFG/XHCDhlDdZrq42HXuqsoTaF
hcGx6ho/0eXCMdZXqvWsk6HWY/Jm98q8btJkyxVqHOi906NMadFX2V3XeamEZnui
/yHCVB2gq24AtEQqQGt2gp5qdIlDf1Jy+ctCDTUdoIY4t98EB3TmiTQHykqEXWAJ
sduBNmYC2qPDWnavh30UUSHcVREAArkcRYTor1gzYwRKuQtXmY/rFeTYZ996nbgN
rAW3+O+Fv+gQ6Q8wNbzFk4d8YPhccBQHRlq7vQpcGqxjzFLc5of0ddGsSWhVAzL7
gtGJDoIzJpEvz45B6r22AdwBBBBoyGyYCuV/x/eY0mHBRz0ddg4=
=fRxu
-----END PGP SIGNATURE-----