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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-1build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 961ccc303df13ac7d21ee53990ffd63564fc9679 2484 coq-extructures_0.4.0-1build5.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 6b656c867a1f0b11977fb3976e5de40ef1f53d10b335cbf2199a34b9827267d2 2484 coq-extructures_0.4.0-1build5.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 a7acc66b30e9bf9cb5757e6dca3a5456 2484 coq-extructures_0.4.0-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmfYACgkQ808JdE6f
XdkVfw/+M1ydq27dHBqEvZ+YvsEVQsEqQ5NINYEpJa4wuhxg6GZUFxrc3egiN+UM
OnRI2HWNdkjrX09JuRaiwgeiSBb41RPCPEV9msIAPKKzRXnDk41rNxXqWxaw9M0x
SDJcNlR7vxL4naiRjUzAQuqacXNpLHkWGfEGaKXo2/4jrbR+EPAfHnulPLeRTyo4
17O3EU+ufZO7rh7hVGsyjlBV/LWhxvTBzEthHZC+6Lbox3Bjvf6I6+M2muE4ivdk
Zke72t7/coCPCd5cpAt+9UcRk+VHLKiUC3lWIG7IT2RJjuZSbvhme05gUJjEwe/O
dtjdBG+f05Fqwr36qCuVRSMrWVnGDQqsQ6BmYDbndV+pc0GLEmiFP1iR4PAnzyal
D36tO5r2OkfaGEy8BAHDC0x94iy4O2mz1sOckiO1jnvMQmNSVvuUKdx2F9ziEtJy
wg5aVaKqqG2CX7zYWCIVSEILSIq4xV4dNYjSRmMuA418aQcvtkXDyt+m+4xSknv0
yf65x7WfT7HgAZB4SbjjHQAOWwWlRMn6dR/ULQjlAoCM9hZwbsCaMnYAwHUUU3vM
jd0FX6RyIPXeYabI9e21ysFpFT1gW8fqu7z1QLMqblLyOIlmSrezRz0CPv0cv2UE
yckcTwUGLUZYleHbzXVc+UeYow5rc3A9wFEu+dqQX9tQnlVYtjw=
=5G+C
-----END PGP SIGNATURE-----