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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-1build9
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
 b03c887a2a74e025ead58b6bb6c5e80113eaa211 2604 coq-extructures_0.5.0-1build9.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 8e8c793681b3396ba8924ec1015fa50ce9bd65ad4c5f5f1e7d4b02a2a78d7773 2604 coq-extructures_0.5.0-1build9.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 2e285bda55b33ff40b35ea1ea6ea2254 2604 coq-extructures_0.5.0-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUPFcACgkQ808JdE6f
XdmPMw//fT+SEm5Wxko/V5uP7i6HA+tB9XjUMDsKb7FTO8MyFxlvoZwa1yGq7OEu
bh+s/5VDP9+/Dt9qozittLD/aUtfsVp9FT8rsMeqrhI575duIA7/636Puc76FjhU
ycXYN7dUqOk+SOPOjYdrnGZVeNeP2SlFXRnG5Vqc8TFy4nuzo2REaWcEEsd3j0Cw
7Lx4z8Bb9OuEWF4NLY/b1ndutvvRQDv/I3sgXTZ8MqCPc4spRr457AY17V3yqVxr
1/pVqLIF5M8uubmGl6xMd0g89TbCOgXLhxFE6bu/CDB7OzWb8uN2NVybJagGnNoa
poasq1T61Rx8WdZhlgbvWm4RbZ3djBMzM88ywfFs2ZcPThSLnq+0+5w2St/Blsck
EGmJYEz3ykvH6mWQwuj3XU12R1UFmJHEoOknKz2iVGJJGj5tjx2e1dpq6T8nkARR
tEenYU9LUPU3hL04jSKG9hTkLPNzl8lJCAeixXDHD+TH5LWx1aa1r9uMZViyTlFx
sOmbMH2GUGl0FzUZxVQDTptzLXkh+ODVYO4a2sNprwk6scVAz55j4KXwsQZDjY6x
EAeG/33PvUU9iuEBiQFohKDVpKtp3Nhs5RRKDsWZ0nGCTUQqhXYMnEf76HBPNvwa
9qL97a0sLzr1wxTRNQfW/aR7FHZTKBhxALUJ9S/MkYLfjyi6FHI=
=hXUM
-----END PGP SIGNATURE-----