-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-1build2
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
 a65505e41b366d8835dec7fa0dc8f4abfd6c58c1 2348 coq-extructures_0.4.0-1build2.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 2c1fc0616582b2449d26089481cc260202b43853c3427c30539ad04ea75626c9 2348 coq-extructures_0.4.0-1build2.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 9ce719fb587cc88c20e6172833d3c964 2348 coq-extructures_0.4.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/RcACgkQ808JdE6f
XdnJ0BAAkR/h4xyDckuGn3QtLoF0NPjqbepE6qVK+B6bY5u+wxTPFKdxzhIBOjos
jKeQAQjGHhFb08JxZUoWiDbN80kAOIcuW+G/jV0vmqyBsNBRsKzV+84l8cIh3h6c
WGYLNLvYsl88z4tYF6hO7ZyVExBpNNyrOaDSORetOtOvpvFWj+m4Hhdzokw6Sbx3
BqPEqPmmvBgMpTqaQPMIcdQTyRaF0RMLMebizTZfQjgU9+Y/g5t5TXPprxEVEO97
OcSLKsog3Xq7ZvozSyVUjj7VfvkxjclJ11O1Eavt/sp+JWdhrM8xe/RKdJP9DVNf
4FoDU/eioAv5BGQ8ZYFxPDkbhFbbc3s5Tf2oe4jOxFMDc2gKglCxXFS8m6aXg1Qa
6AW19IOmowZamogKwXutjsLhSHklBba8ul8jWUHNVbgfocMH6EYIKbghiGQSB5nG
dDi4EKE/N7UYOIvGP8xQ7Qz9f14/8vs6ABdjX6s/6+kpERsNzJ9v0UiucXL0Ih62
YbshcWkdq7Bi34tsfCra0hB3/xLbPA+dgl0iTAoSzOe8LYxYv9fATak+HMEGkd3+
NREqeDfZkDKIxVDrr6qYw5YpK4itIcM9loh2Mpk6y4iJvMNsDxsVTRgtk5TMyfru
iyUzwD8WK6xCOaCHS6/+39u6n9aA5BLEGFT6aZdaw2M6S9RLmAY=
=vuog
-----END PGP SIGNATURE-----