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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-3build5
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
 f4ddc0caadbf89175761d8f0ec6cef6241518b18 2400 coq-extructures_0.4.0-3build5.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 e89b66218bf5472adf8e4a53871b0aa5a5464afbfaa8f490c43fb34a97447afb 2400 coq-extructures_0.4.0-3build5.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 87240c08c9c5346502920f1d04a6a1fe 2400 coq-extructures_0.4.0-3build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpxgACgkQ808JdE6f
XdnN7RAAtyAiwR6pA7CssHwqOBnnKC0+IDJvb9YC8SeQh9d2aSpkVhqdaLfhN+z6
kiukX+Y4aBUQTzfbyA+zkdmZHkOEJPe81ESDvmMRY2igqrZ8FaV+9XzVNnSiGz9E
A+5P7C+rWo8oPvXHLWHSyWDT8AR5gepnoCt73AfuCJCRh2XZ9Djt9Z9Dxfbqmr3k
okcLdaQkaU58MD2GxgnV2SVIhZbI0zKxmm+zw687uePwKAkHNibAlbqvPH600BNg
uoYSp/YyFH10Z3dN8QSr89S8zCCS3hQSuxbrKzUVVHQnDYSe7C6/Jm9pBmh9N9vE
d9KEQb+SLMWlE5UXFniSQ6lAOE9lxlxt1jHZKu3yQTrTx3Y1NQ3JY3As8ZHErTA4
jaqCcLrOBbUNsKau7yOYTcoYuf5zFfdStrkY4NUNBbuY1u/PeeD8kOJNdoplupFS
BDDSaJfL4bJMLjJzbQB2OM3aOXa+HnpMeBGuDghIUnCWMWNK75FKm0A6bfNn5Pzb
5xhoPOT7BR2qXLBJhWPRBAuf0It/BBrkRNG7UTwW0v4xcTmbtjDTvg89z9Wau5PD
LN4UJCrX6ZSY9Y9nGYEcqVw+KmPG3fIk5UVknIHGLxTOMdUAg3vBKzKCJFU7qL1q
qUt7SGroKl0MMnrcOqWyibW92MZdn5SjgN5mi3usiw8dWc9Phho=
=uHBf
-----END PGP SIGNATURE-----