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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-8build7
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.1
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, ocaml-dune
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 f15ce7206be53857ec6acce87e49485f9df4e621 8820 mathcomp-bigenough_1.0.1-8build7.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 ee521307dcf1ca0d1d463b9e7bb399c7849c2141bcba197364ee401439a77222 8820 mathcomp-bigenough_1.0.1-8build7.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 3331da2bc7c61b5bf9fa2f4edd5fbed8 8820 mathcomp-bigenough_1.0.1-8build7.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILDEACgkQ808JdE6f
Xdlehw/9Feku90OBtmRKGSkCGRdRuXmj6SZJf+W9QgzaRnrWvacGmvEoRIxVNzfy
DtsyRnyGHWm7osznPKiulAIYlSx996N0YWQRntyUe+tKYS1IZRokaSH1jGp0Umph
01zaFIVYMweDucZ+IFp1Obhmzgq5SzgbOV8/cEPqWniMLEX/fBpWPjXE+eJJjA8/
hbJ8z3TL0OPvhSDyXgih/uPI9z568UW5bQizi/HyMSmZYorvjAeEY0PFltmfobRp
jFq9D7XVTH5GJBZN8kcuIEDaMxJF3liTkxb3T1F/iIPZAeozP8R0DRdm7dfH3HFl
QQQsMyFQ4ZOAsqnSAhIRZetjQGGzfw5Lb09UHlzeN1BA83+kHXwKzXv7qhndNhR3
I5XE3/rA6OXIMvEka5BMkFd15mZsB+WOR1WEfbU6RZprLWgB/f4k40/FZcZc/g0p
wpHTxYYXf5b9D7IcYjD6ZQmPm9hh9Te5c4FQzY9nV9lUDTKbkQAdqRQPJPBfUVOA
5Z6LeB48PqgdVJ4fTJTmpvYHGdwDyZltvn95UbypLErJvTCoC75Dl6rUNyaevcEr
+6uS7g8y5tJd/3v8YG8PqVdeyNnnxRZHb7x2v6FuNcmJ/FqyQrusBAQWEsCnx+rS
ZrheWbCF7EcylD8cnqPV0ce825rcd94JHkqpwSKRC9r69vvl+rc=
=rP+/
-----END PGP SIGNATURE-----