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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.3-2
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.7.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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 935efaf47f1a78d12315a92c9a79c1a527c3a6c8 12229 mathcomp-bigenough_1.0.3.orig.tar.gz
 7147764500afe1493492ccb71c300f733e061862 8900 mathcomp-bigenough_1.0.3-2.debian.tar.xz
Checksums-Sha256:
 796689896f53add548e3d98d09d5cef2a471308fbc0b89437533098f831fdc12 12229 mathcomp-bigenough_1.0.3.orig.tar.gz
 1e2ae8883ebaf257a4d1004b88d0fcb473a81537b5cbc11f419b8356571c81af 8900 mathcomp-bigenough_1.0.3-2.debian.tar.xz
Files:
 ef88e59cf9d12bd6a3280f0c7828fbbd 12229 mathcomp-bigenough_1.0.3.orig.tar.gz
 db82d7a0ebc35828a081251ef96d0f45 8900 mathcomp-bigenough_1.0.3-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkqwZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWrUEACY7X0tLHSpScmJM5i2c4oh
smOyyym3379o++gRJenD6Tffr8oiSrPKjyzJUMSaryATGYRqEoeLuIB18u9l386c
Kgcu1TE6iF6gfLAUwHDC86QOwyDSynyh8b7dSYJmGMXWs+vXSuLZ8FAcFkVsGJ3x
iojYhnEN6VAreEL3rUQa/zS+7uwws7mp3nEaOaKiiGTb0tqe98APZDewcgAZ0XRv
/RH8ZEaAIgT/ebNhnSizs9HaVmg7MjC+NSt/6cJYZypzdUgrJNr5GD/NF9zrgVfx
EDbiQJMVmdONUTaw2sFxwwp+oP+Vq2NmbYeRa+RdsZF8Y15cjebIKKi91+TfKk8U
7ZLPqefLrSM5tRsCTp/RqVzEazadkKeBvlZiZa9ZOywlwS+odftv8EO+4IAD5wh4
0HzvAtHOAwghommlxyQkOkpkIkFL3akItgQyqc3G6i8ImKK8IYqH73xIu/9HrbAN
ojfzO7sHCOHWOo+B/i+WnKcWYruIAjWfB48XSophoeWOiZWVsKqYYJzJIuyRziJf
yeHIX1era3fSUfnVC3AKs/rWtcDBYbYqNTxmnSYp0CYZYOH+pv0dryFXzyEyu8Sl
yz1f+8vyvl8Ku6PfWNg7wVcNpO4UfhFsuJOqzwdUnZEAWyhWux/Zr7fbsy2to8v0
M6wTT2oH1ZZUJ7PmsUl0MA==
=KK6a
-----END PGP SIGNATURE-----