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

Format: 3.0 (quilt)
Source: coq-extructures
Binary: libcoq-extructures
Architecture: any
Version: 0.4.0-4
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
 f5b492ee3b9f05ca9b52d529e825e471ede9b8b8 2348 coq-extructures_0.4.0-4.debian.tar.xz
Checksums-Sha256:
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 5542d129fdce52fca33a6c308e875109e9e738e8e4befb442a07df02a87b468d 2348 coq-extructures_0.4.0-4.debian.tar.xz
Files:
 d31c4523f3bf48ec76e65212f0888b70 42179 coq-extructures_0.4.0.orig.tar.gz
 9966096700a2a5e8874de39e58f3a640 2348 coq-extructures_0.4.0-4.debian.tar.xz
Dgit: 11aebf14400e71e118dcb94c64cb43952108bde1 debian archive/debian/0.4.0-4 https://git.dgit.debian.org/coq-extructures

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHAMSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBZDwH/3Gx/osrS1RkIwbl0Aoy8kUIxU0k/bqR
2OT02MQlU0i49Y82Rjww2DYrVtwly92aqk9I47ErkZsdTZ7zPnlH5Bv5S82dOwWD
xxwxLmSn8RQvFVM5ElRPpySKwHY4NRsS9TWyrKL5Xyh2oD0HXN3dN5iSGNObjZr4
vde6dKLfec53gGyA4g+wVHa63q3I5PUIi2BuAVXQHmlp9N7DBCtQ1fR8me/HGgam
3evBjw7VgmilKZw3hV8+g4X1ThNCigm5SLZAKTGQP5duCsj0j7RQnhQIVI99sIBr
RDDx506sNPfX7iYQqkwAFFUc940Qzt+lL4tC8gjE6SPtZmEyRnFWQlk=
=mwy7
-----END PGP SIGNATURE-----