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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.5.0-6
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
 17fcc6febe1359acad6b1ffb42d95778481b6ebf 3028 coq-extructures_0.5.0-6.debian.tar.xz
Checksums-Sha256:
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 6c5d8c27460cd27364d50585da8fedbd95dc4fae2c559db9dba4370858fbe1e8 3028 coq-extructures_0.5.0-6.debian.tar.xz
Files:
 02535e6858b35f4cbc9a79168fa69bdc 42630 coq-extructures_0.5.0.orig.tar.gz
 ed87a53e54aab4127c7e4ce29452dbe4 3028 coq-extructures_0.5.0-6.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8bMUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUZoD/9iS0wAHcdOJFI76h4VxTFX
kHtcKazQNsJRI+YZMcifg4nYbssGREABwsjm6LfFs6srYLczA/LMxre6gdvSOtXw
e3y2Ea9BG922Wxi7Cl7tynCVTkLiDlelp8faMT9WCcrDteL+cPfpdoHp01qYtZ7w
mqL2KKqPVsIxp4hTuvRLq7ifD0TqDWNjmpHa6EbPzMtNg/gA/sD0t5bn/MNlEUMx
IWu7DaqowH/lEBmtcDe9/xVYrbqNKcdLXcO9sDZvDFIuYzT7bIj0oMnORtb89Jt2
5Kq2WjHSHsLEEMtS5DE/HhPkHUe+u0BFl9yjW4ydJYcfMj5pVOi4uA0XQJbjK0RO
NZlYbNGgWr+vWVA4s9825wBXS4EDThcxWtMeMvofu9UdeJrakrdgowYikALt90TR
Uk394mu+qE1VPCTZLqYcrUWgx/1QV6Va+cIDFzW29FrMxnMweDdqW+5LGzFVDC+D
S6ktsEEUDzrlon82htakv4REhzSg2051TmiftCfHqyYt01gnCh94rMN5YfTBt7F7
zQq1CLi6k1Y4rTdv0TyWxTik7I4R/G0AY8fkl5ed3CFG0I0gyiLb2SiHeQtPP68n
AGsU8l8AF0I9YzqI6RUeTT3ZUQG7hDV+s1UMoliHdzOXZ80Qn1J3AL3DskXd0vS6
WN3g4Garg8K5ZjQDHq0DhA==
=o4FM
-----END PGP SIGNATURE-----