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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-1
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.6.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, 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:
 ba00c3e7984de42fb9c84ed206a8e25e0170e4b3 42179 coq-extructures_0.4.0.orig.tar.gz
 99a38662ba2716d41a1e7759a500ca9a262e6d59 2208 coq-extructures_0.4.0-1.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 c2cb1f5dc082e8022b0e70b0b9185a1b22354a61eaf0e1635eabee5465c69752 2208 coq-extructures_0.4.0-1.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 801e8a45eb1a1cc561e461133c567475 2208 coq-extructures_0.4.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZa4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJ1kP/3g7yqI0RcockjHXVZ8lOdWma+qGyBnZ
Sh8NXPN8rlliJEmti4UoKxE+M3XEBfRkfU6Mk0fWPkhj4OO8wSh4OICAZUPZrcCk
/85xyX5boiBaDZT+E0K6pEeV5Rq+RxkpGLmuuTgVSEAqqczse0F4GYT62SvDspIL
1M/tCqa7q0X+N9UgNAdKshh0TOKm9KdewKipfQcT2zmTrteOm8NJ941j2vncZfgv
M1rhW+zgDwCpvvmQyIYGb04+kY7BdbTB8ONe7/16wuMT+brlEAUETXqEOh2uGIkP
9UDgzA2oQgrs17SU5sbH6jsHqKl2oLyQoJIulfbgmq7wOYubmAR9rciqTQ6ivOUI
qSOLIZjuScsVIS9q2KHdXxqZD2j460GWhbpqS33jCJI68CFs03VM4eQuaGYkMgXx
XIjGjEfV38HWBKwkC528jmNrwFWHL7s0uxI8c1K/SPX3+fKRKpYgMSEVme7Nn7pM
br9ivMgKMRZ1QXj3BXB37+D2mYsXnbj5wD66XOyLrAe3hKxYufDOrBfFTE6xILOi
4sC4AjcO2kLhhwu1U//liwwmWsgnBfqwkYrTZW3mwAy6WqGBRANPVY+sx3bWjhPn
Nlfbb6CsycRQiYdy/WcX+MslE15ICQVu/P66j9svdOsdB0L02gp75ad+msmA+/wX
LYhPi4yDmbxz
=73EN
-----END PGP SIGNATURE-----