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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-1build15
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
 3e91450873b0b9fa72b180cf94c718d107fb37f0 2720 coq-extructures_0.5.0-1build15.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 753f809e934cf7e3850e3444e393449480550816916cea8d9bd4cc5c5ad86562 2720 coq-extructures_0.5.0-1build15.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 77b361dc4e3707592ea8f8aa08309a03 2720 coq-extructures_0.5.0-1build15.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmtlG4ACgkQWWH9vpxh
mAkJdg//UCaIfPrmin+UjaIy1naA92jXP5BkD29zha7w4bygOByktav3Usk/0CXG
lyb8+NxzOt01Sm+Gfl2XhadVY6Cey2sdeOCcLxdCYj8dGvX8vPtIT65yDCdUQB1D
uESphdm0/uAegUx6K3XryTlarFnikxLnA6fsL7z/0BzCLeGuignj+u1NseKkVtDL
zu0oM69NO2jDSI2ncX6sZtARumaAB4Gl5MmvmzKA+pnrLbGYS1hQukUkU/9esbnl
kPUxSVJOw7Z3TKiTrV5nwu8APEOqfD9J//lXnAlpB2J+aLW/TFrxaA9QV2nJo4a4
gpAIYFuuuwk19jLeysWyeiROzr/B6TqroOMnJwYBxBCNDySaJUViJ61SmWWaPnqj
q1y7iTRAHGemfqSesDPBkr3nk/pUmn6/rIyQ1tQquAQYCiFZomiTo0+TVIwj0b40
JJTFtPuy37sYxHtE+Jsk7HIK9oGFC+PMWgPusTqAprtJXCryNNBjQCHxzr1SV6dN
KvTB3xo2r/3nzsq9wTVIdDYfLUtWbFNhOtrVZZHSAlithWRcZgp+v4nLMd6d2iZ3
Sz/d6+EZi+KoToGo2bgW4Qz5iyfqHYHGIIYi2Pm6DgkhqNeSlCxo/WQtJqEw5ko4
yBq24Tu1XOOr/n7KTUuoWnr1BWOmBlJRG9/TIlS6qvGfr/W9Enk=
=fwe8
-----END PGP SIGNATURE-----