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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.3.1-3build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/arthuraa/extructures/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-extructures
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-extructures.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-deriving, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-extructures deb ocaml optional arch=any
Checksums-Sha1:
 24c4218103e6bbabf4f18a7e00ff7e63d25cb2c4 38296 coq-extructures_0.3.1.orig.tar.gz
 165328569985e6eb334b28c7c562ec55e13e7688 2120 coq-extructures_0.3.1-3build3.debian.tar.xz
Checksums-Sha256:
 5280078a7b847efa8ee11feac792ea4d5c1556d5911c67c5fab93c56dcceb015 38296 coq-extructures_0.3.1.orig.tar.gz
 20e916028d0bdfebd578e497c42188da3a52cf9818a9b1f4111e0ac3fb562d8d 2120 coq-extructures_0.3.1-3build3.debian.tar.xz
Files:
 32bc923a3a383ede669fc9063cffa52d 38296 coq-extructures_0.3.1.orig.tar.gz
 64e12e15d5515b35a2dc39a3272c9fdb 2120 coq-extructures_0.3.1-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILE0ACgkQ808JdE6f
XdmymQ/+POA7HsN8LNpoInKRDuDEADuBV9c40xosFPmDqqmFwuy7ITeDYtULm/y9
PjVMLX4XmU62HcygKXw2WpBY1P9lFgHbDXprklz83er1RLdaaMXCMcC4oPYhY16X
cVbc9D7sDBpRQwYLsx3rqkCVCay6Ho2RQd0GA6rl7VW9CAk9mrBTdWy9YcqpqtAN
XjnXl7I7HazDSLrbzsqugLkdSgxU83zE6HzVEKhmBi1bARYWYa8CnktLggIaLD7L
39/nlaHpwk5Aj+ptKiMiXbTkW85gFCN+CbBx66MpgVVLl2ZqZin9JpmD0bA1htQs
Nz7xKPW0v6f6DVdhH0aFw28MAZDP80qYX8uz1ktdzzUs/IPAWPfK19x7glb3oGBK
ZVgKXfYpEXHeY5hl6Q+knN44tThGS2p5k6G/gWl+/H9McbDZCVVthfzmWtA5ZKTe
m5+1kLu7+yOmz9vuWGgW38Qb4VKBKy+eKybpP/m96DWMlwVaoBxuUZ3LfopUpjUf
uSFxboBhFV6yzvxwrmmOOWAtGaT43HNcyY6oWQSK13sd9RbOh4qpElgtaqCeB7dP
MKowxDLoPXMans4mZxKkPYKnnXvz5xja1l1FYmoSCLYY7sFAkPnNhhYt4H1akAPj
Hh2KZmk94rbN4UKoXbX+6kfE5Y2h03zsAcBka/GArHpHzyxmJrs=
=DK1t
-----END PGP SIGNATURE-----