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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-3build3
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
 d7d0041b26cccac0406ca5066dab9924ed86f4d5 2380 coq-extructures_0.4.0-3build3.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 003eb1067b115091a6e6c949a06440ad0149ba3156cecba088d2d71ac701647c 2380 coq-extructures_0.4.0-3build3.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 d25ab124976b50fc3829d1c55aa50db5 2380 coq-extructures_0.4.0-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeKMACgkQ808JdE6f
XdnZ6g/9EkEAhu2pUdjfIxYwYR+14MWI19A1r8q5v7A1i681wP77n4SddYc0SIyT
MKphs9e1TGTJjGbKoI2ibrbrLrUHlzMaEnudkFhvT9ubME+PiMfZ/i7abcindZux
GfVIIsHwH5K5DXEXu9mPEIbIHMQNUqJrV2DpJ5gcq71ekyytbkuRQXSp1SsrrFYn
l381BSH60qMAKeuuSDDc1Tm3JPMex6EsbjJ89fBPmssGTzKrhsEDC78ATBS8HxXZ
zZP6QxLyuZabFyfUjQpNHRIvmnu4eg6tn7KekX/LFN978kabStxkFmwVYzQL1d+M
OxevIKFxQuYw2yhVqOR9Wc7woWobKMSPh3/w5reVRYtZEr/FZDZSsRGpMcqzp69c
orajyL6o6eHvfuRhvC2M6E00lAVRjsQK9mq2DiNf0JPSor2n6jJAznSgohbNFoGk
LUe0W+YROJjCc+vTgsX9IfIYqtZ2gB9o+XBDNYypORiU/Dv73on7FTqyXddx94iw
TWjJup2NhQctXAq9mA0m4NEIWQbsv2/hq3yzGaFJsSZ9CUJX2mIjGuUA03u0EGfI
9uUrGwjA6HmwO8GOJuVQSy8ElXwuhhdTxNYtEc/B89oC8Zoar7y5ib+epDXevqEd
5/mVRzFCZz71kwjJ1wND0tcVrWDAOWzsT3O0nHfG4fJB080X/+k=
=Or4j
-----END PGP SIGNATURE-----