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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-4build5
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
 cd4773a6327227829483c95e3e690a3170014292 2512 coq-extructures_0.4.0-4build5.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 3fb3ad5ae8ac374d3570cbdf4cf3545a5d04b830e1cf9a25aa95d9255a0247ac 2512 coq-extructures_0.4.0-4build5.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 87901d178ecd768c822f012cbc2e0e00 2512 coq-extructures_0.4.0-4build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbppPYACgkQ808JdE6f
Xdl/BA/9GPWb0S4JS0y383I7ixZogKjGX/PXUDBo2Z6gAfRoSmXf+Eb78RH/SStp
SHEFp3L/fPsE8TkPMHA5I9GkKyziJTadUfl6bpeJFKDN067/FPNJ6V8RxdkYk+Y8
qS0Oi49YY4mnIKAskgyfbiKjBMlGwCbr+7w6lzGxpVcWU//niVE5DI65YNL0wKf/
J5Ub3pIuH4wMxB9Y1CuY6LEWutFPBlfFd7IWos6ZvO7tDwkiWDTmkSWppx/fNd69
jl9BunrFKGH8VkCBAGQHcfGvROCu2gNcFM/TsHrfLCo+57L6qpPgCvQFkoCxu4XI
Y3COJdqY3gQWSQw2jw8l/Mb/8tZEM2otAF2cW8/8BJXlP7o+FJ1XTCFFqVehbKmw
dGH502zpJqTuj+4iUkXerM74vBQcRuus3D1qKgaUPtr5RPn4gGasEwHrA/aq6sHl
1SuiKW8fwkQB57mfWfGtJKPxuMA4tBfZrELrTJh56gdL5QQUR0IwKPW23dIlqZQ2
GaL/Hf40tdgxQ/m1JG72kYyyKjHWXy0cpoien3VkmLNJYCRz0gvZjAm1n3+YUXvu
LtTE0vfql+Uuius7CP7u6MLU38HWAsB/qDCkva1yBr84AycOR/i5fIruWL9uvema
/g0YWMp6X4zHaaOvnXXNjjPn+webofdkzqHe35vyhBEoAvQ1jnU=
=+uU9
-----END PGP SIGNATURE-----