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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-3
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.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 (>= 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
 02a83a7096579f1b703fb981b79b43e7a63ce836 2516 coq-extructures_0.5.0-3.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 c3414ed6aa3616bbece4e00a5688fd5d04faf04950ca9e49a068d92f5174a6aa 2516 coq-extructures_0.5.0-3.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 8a0ae53bba9803d1f0e2155967a91191 2516 coq-extructures_0.5.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTk8oZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURaxD/0bAjClb97FbzwZziK4R8pd
IpJ2fWhk+5nD09pT9UyQ915KKb0es6OOGcebakXrkzjwGdG+4U5N9m1ZodRDcUlx
QszdzqMcEaay7HQeohr9/khLJ6rrzflTsmy8hcN7sa7MJtBLLvofz+aY2ig+xRla
j9OxLB6XEi17BgEwQAo3Rnc02W+3zET/si7FRof1nPP3l/wAp6BCUGBK+LidKqCM
tE+SENgiaCAcbbvwX7QCV9k172afdIw/41AU3zcMcCyyI9xthyZQCgeTZ0bJyJIY
FO/gNZigytzisFV19Dynbi/ilD70pttFMApC3Y3361c+BMpJOPRhqx+S9R/cjeQZ
zEyiZa1tUoFQaxTabEFShM+27nUOCBzLUpf1T9tjF6DMqsro1iSkZyJAiSwFskau
bGlB5OpP/sWcd+6bi+nQrOG99g3pjCaaaa37nBkkdrZque2OZNKt7fhL3U9PtwXC
qy/niVxN8+j8xrCZqXqzZz6892Ba3lE45yaYbTI1YovoCQFKt6JPwG4Lqs2eZlsa
Z1PQiLdCJhtMhAE1eK5r2UwWYVR5zR/tjZ/Bnp3GN19kw1kIptfE1DseqJ5VjOTw
pmO9qb8L0Jc+JLb95Pl6LOqMCUnvSMphDuntlwi+tpD963EwEpnP/cV5+e1KBMWh
Sb9ddWwV/D3dOeKWsJuL4A==
=ZUZC
-----END PGP SIGNATURE-----