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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-4build7
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.2
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:
 ba00c3e7984de42fb9c84ed206a8e25e0170e4b3 42179 coq-extructures_0.4.0.orig.tar.gz
 0cff8096b75e5b908cd04977da41bf39a06e19ab 2584 coq-extructures_0.4.0-4build7.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 6eaf3ea052da244dccd21b43c07e99bef6bd9ecbab804c42959c58492968576f 2584 coq-extructures_0.4.0-4build7.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 343a6ff6fcdf5a07d9bc2d5b15b64574 2584 coq-extructures_0.4.0-4build7.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc/UYkACgkQ5mx3Wuv+
bH3uwBAAlxq+41KkV0XQXBNs5pLJyBKrZRr4FRFQ+zYFfUwxXvVnspXWnmr9oofJ
GlMcYK124OOIEWlfjty8K7THhYSagIdBHuWL5HMcSJcjv5BgJ+NYmSgjff3LtEg3
GFG57F8/KaW+Fug2Dq6jpdpwBSlqgTPPJ9fm1SuOIpateZFSHY2XRtCLtlYgXLPD
zs4b9LbF2ctZH/uYGz7KQXrmBBTke9S5Muo+ORUpT9c2yE78GdTxYfFWiwC97PjF
SOyXuYO25XNsulku8RFk5PYjXACKBpOm8lKFT7G6yGTpcfo/oPW/rkFwG61F4mq6
KF0DQ8vwfRWnHQZOkHWvaIJXrB05aSei9WXJMntyTtSuZYcEb2IVnzA+jhGDMxuU
34CiwU+y05nyOC3yqMjsw5tP9QSlT8gxc2cnzQlO2WTReXewzMd9o5CwR+Y0RCs7
KdK6h7BkISRNsil+0hImTPGIx6Rb1K+le2NZQpXCGk7XdwfJm4HSc6HfI6p6GsQb
NS3Q2igxjFicF4/ALaqgZIMLp2oYzESn1UVwtJxnUEVRyzqipruAOFLYPoqZ+F8J
3JKxJKWGVDNk4CuaGOTzt5FJswN1tkvH+ItbQQouDiW9EG1+v0jXsd/OkjhEjqAv
sPsuEJsl3nAE3TfJTKOu4rwtiInRsGS8RvERZjlXciMt3g1nuIc=
=G7eI
-----END PGP SIGNATURE-----