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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.0-1build8
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.7.0
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:
 2014297759e8e54f2e5cb57ad6c096eacea5eab9 85306 coq-ext-lib_0.13.0.orig.tar.gz
 323e191182aecd5898187d7ba10f43f6b2c15d2e 2668 coq-ext-lib_0.13.0-1build8.debian.tar.xz
Checksums-Sha256:
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 23d76cde8f9005af1af560946dbb73797a5e487cf4fa0ef6b0dd92cbe59f4fe6 2668 coq-ext-lib_0.13.0-1build8.debian.tar.xz
Files:
 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz
 62ab02dc72c9135656845ac233c05b60 2668 coq-ext-lib_0.13.0-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYaIACgkQ808JdE6f
XdnTrBAAr1XCb7Ye9kRJxGPw4z+0FJtWKemViNf658ibeIUiTNqzH70K6bhgjzL5
wnWEydVEAr/hK843kzJmtyJH+hOM6oa1BdLMYJjS+jTYlEhBIf/DeHTSl6u+K1hN
hFPHbj+ALfDabD10R/mmY8bz90ZB/AB11KzOLRkOl+w55/5YiWj42eTX6BhueXRo
vYZDwzYRcLLmUb5rmCnjyyQGDIc4Fxy0zQ9zb70OKs4O6R8Yc+HTG9vQY8LK0R0Q
hIZ9UYOkCRLYH/wGR+oPyr2jnX9dVKIZ3t4mse7mBfNzhY0Ec/vZUTIQ30tWpc/1
Zj0wyfe7qswDvLhZHa8zPZEtWfJCxwx/7FAQRnda49FLgz3du26bubiau6vE6GX0
d5otUM2Q6127Ao2Pj/JSETjVY03yM/7+aicnikuEn3+b0zEmu7d2cL/TO3W5qFzI
pK7Ae6zjceczXKpcdYClDEHjk3JKDHn1nekaULRAfvTnzz+H71jUCKnG0QdnSk3z
DbwKzTpOOWcPPui/kpAewKWYF15DGRK3zED+LHPw4Mqv0o1bsmPmzwQHuZ7xwusc
93ZEMEdX6NvQ30ad8idoUwN2CC/qkqQH7PEBEXUU3COcZaOgSRNpQeH7dt48RSGk
neGq3EOv4+17Q1nshreklKOPFTdECRAaUSn2jyaVRcBVI6C8P3s=
=DbE6
-----END PGP SIGNATURE-----