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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/bigenough
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-bigenough
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 503e8b406c85a33cb4f2e68817e743c3e92cf828 8460 mathcomp-bigenough_1.0.1-3.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 3941da95490d31a74a8f18be473834045814830d2ce955972dcb43986c454a64 8460 mathcomp-bigenough_1.0.1-3.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 6d61fe39d73c0a32f327f1f17c39b99e 8460 mathcomp-bigenough_1.0.1-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ0NIgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKMIQAJ8K2a88GGrLFPEokBDNQumKG3fvWJkh
54dzGkS1q7rcWJOqZm9g0tEKf1T/S5/yiiKJl2UpDPRkFnArABn1zCeMzIZP8SMJ
QG7gVCWLlab0+FkadPn8jKAD3kPd7I2S8RUdqw6HWenUbllmfljK60BY5R9UkfnA
v5OKDuYFcJ09qS/V8Z2ULSsuFC5gmFsI05vC2+nyzTOWT6fO5VE9OgWt3IlnMACp
n55SQzs/Lg5A2T0u+BBHCHnGj9HXTr0upt5SR2KkF0ESe9oye2JBANdi6Cm7zytx
xZgj9moziqw3OiqzwE61vK5DH8YbIGyqsOhtmCx958zWV2dbOo+3PNiLhw+zsPrL
1PNJ1U7e/niSGcvQ5KRPrbGJYVRJl/UcW4SNnS1Q/be6XAQH3Nyjq9tBvPsw6L/3
a51xMaRh30KubjtcKJpw0HTxC8H/Fzc6tmzJBc9YmwE7RDXeTZKRYhEakcuDhGMv
K35U8ERlJE8xdmYIttzFvSGnnnxKaC605KSM9W6hruB9mYsAAFipiJobuIEyy5nF
n0Vf/DBB9RVtNCXUpYrYK/HAO4FfHobeFzXqEtx9v/lIik6h9V8MPk+VFsVAwBfl
gUBpp2rkqNdZD8bC3lZklaULh6yN6CsyT4QdcdwtCjsBllfxlv/dQOqSP2BtPBnh
VaiF2k37+QAt
=py7l
-----END PGP SIGNATURE-----