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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-1build10
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.7.0
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:
 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz
 464520eccd2651ac23e5309df8715acc98490517 2616 coq-extructures_0.5.0-1build10.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 1f11b54259305ee971708e1e1c4fe128aefea4df797c31a78bac47b4ef2eef55 2616 coq-extructures_0.5.0-1build10.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 4c4d699d2e0292d849d989d0d02864f4 2616 coq-extructures_0.5.0-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0oGsACgkQ808JdE6f
XdlFtA/9Hkph40TDdEX5YyIY+Zor7XBLYVpdjoTFeawzT/rdhyA0oJndCb15NmXH
qaieX23R/W8UbBPR6GriJZP6FRo4ni3NzGaK2j/vtVBMEyE1HtBHTnc5E6LexrAF
v3PKejz/EVPKDAT36Nhr6xIMzXpZFuRtEXxfv0s7beYujF1lnkcNHLuGeIw1m7yZ
nS3Pi3kl/A9dNFFrBPoVs8uJsLTMJn5NqmMhdAhsLmYzjJApe8VU7HS/KcvnFgpX
NESexv2jXr0tJWkQMpg7fnibU6WSKhgU9tMes79o/aR4Br72h+ELAkOA1aMADGoO
osJckFPdKpKYmYWTfyaTYPJQ9pHGzH3bHHIwNS9+lbqgg466hB+yaPk3BwS48zRW
p/nndqxMrM4Ghq+u/05lFrZDpMRlSrFmjLPyn9OqeyB3JRnYvyJ1iR8PRIo5cYcd
TWGjjrG2CgxMYMod2zHIj2VbKYdMff02ep4bhOkkhh+ujOPRoABqKyOUWfTieG1R
/yWtEKJ4TG8EEMc5y+9GinE/Gtx63op7wx8rRvvZnLgImG23Vq+QxISJvmzszpL2
NUqZVSkJwOSNp/k1g1aIMBCCT/dCFhob5zJ5BEfoRRkPP+gw+hVGGD2B+koRVfHM
jcVYAFV1+OhS7fw0zhFFk5IOWHwZD7Kw4uY+ZQ6ydVOxwM7eQwM=
=dvxq
-----END PGP SIGNATURE-----