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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build6
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.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-bigenough
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 9586ab1861867744a84b20bc8356540b699ab096 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 bfdc221887f0fd19412dace860160c9cc59a985e 8980 mathcomp-bigenough_1.0.2-1build6.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 30df7279cff9daa0f59e230279aec1f20064a6c9a0f24abc7d8e9024e8cc2b29 8980 mathcomp-bigenough_1.0.2-1build6.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 f9e1f6595933e014ae410383c3191e0e 8980 mathcomp-bigenough_1.0.2-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5QpsACgkQ808JdE6f
XdmEvg//YxZ5oHlwHOQl5+Ygk4BeDSUi3O5HjIxY8P0SdM/IDRBt7VrTDSVL9a9c
BKMKLWXegX9SkeE1eKgoW/rRZhwiJDIUJXJdy8C9TkO1vKUroLmsPyIyan4uNMrO
86QOfEhOTYEsfTRiHsGN0gNKgCP7DvHdmJDTZA1xBrIweuN7/q0XFQQ90v17h7Vu
pySg4TSlCF+kxCpLPpHD5Lml9CgJAm/Bzs3pbaT9zqKbtCYQsrtkv+/rjfJhqLIt
vOWPDvnzOF/tZGVr+PyWg3jtfkWx4QretLoN4Lf5EO/NFANLyvQzsJJEP1ptUQn7
NifrK4Cbx+CtJDTtawLpfJ76H8LwNhhWsqRMvWNDay1s5GaIp1niNEWmYTZL4/pU
IY689ZEJ7VrWH+XJ+1Yc8Qi6KoQJqnyvJJjUdaE1cHw1oGakEObNUY8ZuvWnnymH
Z+2ZQu9lgxYeAXAtt3uI4xYdxdgNJbmuXvN6bRWzS+YKXBbjCnEUKTyi/jSgIdOs
S4n9rs+xd3/MtUEPx/xAweP+5sV1mh/fYASvJwCqnw4iVTlgEn53NtFQVWrbB4ca
sEY6hfHlE2juIIyFrZT4v2hWKhuRwfC/cTwhmeqgrWpAIpE7lZGJAONJQPBcNJLE
2lGaiu9vZYhkoXZ6efdwsGjXFtAe0bi/pAhUw8dkDs3Pn5XsiRk=
=VODG
-----END PGP SIGNATURE-----