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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.0-1build1
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:
 e55370aa1341593d510771de4bd244c8d7f63c5a 83450 coq-ext-lib_0.12.0.orig.tar.gz
 0080cde078ca9d34a76464993361de9199e75709 2320 coq-ext-lib_0.12.0-1build1.debian.tar.xz
Checksums-Sha256:
 b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51 83450 coq-ext-lib_0.12.0.orig.tar.gz
 e388aa8740cadcb29dd4d79070ec27b5d1477ccf091acf5e852711f461e1e0f0 2320 coq-ext-lib_0.12.0-1build1.debian.tar.xz
Files:
 ab08c703d854fdb90f35cf40614e089a 83450 coq-ext-lib_0.12.0.orig.tar.gz
 2743afd11dbf27d2f6a6038efd7ba7d6 2320 coq-ext-lib_0.12.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmWGN8IACgkQ5mx3Wuv+
bH0HkxAAkDkBHZw6nVN6EjeJpTzNvEiT9NsS0ClnB8Ibyvy8ASUHh2lI1p7ADio4
Gb/65A72qscsgqV06eDIy33DDvrvP97mqGwHJLbIcj3INQ7J78+l6vqgIUc9bbCA
gKe41XEwzctuHmX0UNTtypWo/oG7pTZxy36cVSs3Z5zqzCE4xah7M4xmOHpMymgB
Ind1jUVgOfZOrcnia7NTCXIFWdq93e3gL1KKXmDYCP+Ag7bnoI5jpxhFqtQ0Kq66
gcWXHRmwzu/ZAn3Jmdsn3wzPjooYgbIYrC3ZfddlfPKgQMaq1ttnnBXSGQ1DGy7A
hs3uQ/gGAjpslQF2B5H0/4CXvwDAE0Mbn9S796YSlH8YWDTpx+RD9sB7TFj7WqW8
sufyQxuHXtkNv/qerbiedSYUXPbayB13ZsikQxH2y+O7T8SApTJ0JY0d1H/QMUX9
UFB0YaDxinhqaZtzw0VmELSPu0/lwXJ5rytrHyCWKWIU6DMJSry1hL5Gb78djLAT
jMq7air8OO+RYVdFXuW6PuZHMEXzQka8Ux/B+qmshGuTThcJBQqIqKI+Qmxe+uVr
JsVSeQVX7Y9SrDt5wo2zn5zertMGDLLNfLoBrOEx0LY9G3cI+bQWxT2P1+He0BE5
nXEL2OgPaMPQUPcW+KA8F6KfCDqaSSFuGcTyMN40s8uFnw/VxDs=
=HHVQ
-----END PGP SIGNATURE-----