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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-6build2
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.4
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 (>= 9), 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
 dc933764e9177f2d756d102180e51e4673d9f0b8 3140 coq-extructures_0.5.0-6build2.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 35eae3f7cad10c62fa0f49fb50057462d9ffbe089765b304fda0880f3de82016 3140 coq-extructures_0.5.0-6build2.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 9b7f47da793f19e9d851820e0a1240ee 3140 coq-extructures_0.5.0-6build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdoQACgkQ808JdE6f
XdmYzRAAjTiXpejNWh+bj+89Di4iMdsOd4AmtKQObpWKj+Isk3Bxc63Ml0oozdrQ
xLKhkM/d8lFdvrPu/cIzC3jGcfNzWlSKp8isH9AJRjid/mwrb1DXcDHloiokUOix
JoQ97zYWeFpqbhIoL2inrCSZb7HorkiBbX6AaQy/h3bDBLP8887ak/k4piUvpRkQ
Nyx1XxkbJuk6WHvP5yCwPos4HhojH9y0c14XMTg1CwByP8UOBYrii9LfvpV2Z692
mVvMV0NCswGc0oBnhGqiWr0p9L4JsjBTN1Ihqodn0WXWgFWv6LpfjRQ6WUYkDhtf
jd0CghWErJEAyHA15XLQDKQD3fNVWP+wduPcCTgNuERHDxg3/P5gABtXPEvbIM0K
1JYnm65qizyaRD303KoKOAsXoBFXOIizZe/7bhw3VAY2zXxu9nTJi3JJhVYFWEIm
icTVduP2SpMdtm90JwMy3jXK62EWOZx2RBEL/lzouIbzjQExbOWsDVMUnFNQ3abV
8maF6yHZ7iOJcuZ8F3NlTxHGsnLt9OC3bzloLB961ZPc+1yFUOSsAdT5tWZgezAo
an3d6+4M77kLHn1TeDXFDsFXhtdAwMEuaOL5QvIFwbRykL34viszRxysAmsZYaVR
8F0IvYCL2aNCE/Y/xImc7U42wYHhLpGXlRh/rH75thtSzpHS3ZQ=
=Cz6n
-----END PGP SIGNATURE-----