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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-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.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
 27fe3e685855300c8b41275084004a211bce06a1 8380 mathcomp-bigenough_1.0.1-2.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 3e8364d0ad55dc1bc6467bdd977a59a58cab09a279507295b6953f8a1c076453 8380 mathcomp-bigenough_1.0.1-2.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 253e67e65bef60995697b7cf90e164ce 8380 mathcomp-bigenough_1.0.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7lUASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRzLsP/RL8RHa227+QJAwP7GUCSOzBJoJ5+n+7
SmdDql5HjzZDy4BaALwk5vnnEITXocUFTa8T83W//r2mTMlAJE0K3AhXAUgt2jP4
zAz+2EOrxvUe9DTxwtdOVv07P1V5DA6b2Rdzm6pBxXVTDuIpOGHbh5gr5VTXd7n4
ZmvtKF0u4UU076WEy91v54QKWSnTHR81iJ5DChejD8gl5EdJWx2KTr64wQ6C5qRD
INz1EmaHjpMLheNUEYT9Z7EIQ8v9qRT6uAg62ge6pNP/fqRPGrnHaoHEhGTxTMlV
vuOczoyyB0TNUE9KnA9i5HHuD37Cgh1VQM7KdzDj668W5saDJ3/J4tFbCv1lZnrc
WrfbeqvPtZQ4w7fmxFlp3ZRD9fowOwtqzTE25Q1AesGqmrwP5gBRFNXcOxaFSYeH
IyFngxKSAvGt55oLkiiSnGyEVj+yO8/67aDs7FH+y0KgtYyUKruMvV1MUrmA8U/s
LOeNJMtHjaQ6ojUZUlVEYowFgaKobAOQfSazAdr4/lau+BFYvpYLpKi/1wAex0XG
00idUsS5Cv31S0WJOz2hsAExymAJEemS7Zr7c1erhOAxwHAJDjOIo1YY8FHw5k+L
FPPZ4Oc7pNayx0iHrA5kNtIgxwatH8X7tjPcRHhuHkfX/zNwMo2mIOkrvYf2jfpR
VKFU0HNHwGqA
=iKQJ
-----END PGP SIGNATURE-----