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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-12build2
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:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 4b5190ff332e4e5a37d5c1ea06c3ed0fe8e7b800 8804 mathcomp-bigenough_1.0.1-12build2.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 d6929b578da409948ee78d429e25f9112a7b0f26b308483f34a5f82312a32eac 8804 mathcomp-bigenough_1.0.1-12build2.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 b1be2394b83aa639d43884fbb137eede 8804 mathcomp-bigenough_1.0.1-12build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/O4ACgkQ808JdE6f
XdklQQ/9Fb+weX+taBhZIwyJXOTuYTB7PciyzxISJAQY6Qw0wuklPVKmWLu8TUC2
HtSlyxNIiwrtbLVd93eIybFSF/PWqLtgyK75tXMAdjZIijAVQcMluVp6poRzFDkn
Oilrbc81QsasV+llEZtFUVHyK5ojavk8/4xMRBpjYiAvxK0NLFESbVcmVsKwiODP
+lHJtO/hBlTH+N1UUYzAPIzZVmIEx4nMdY+uIe/MT56cotYVUGhBdMTQntzyQEsF
uEsd6LoDjeUDIkUERe/ZlBTvdFhmRwAB8g0+iIFDWIXrYGrDUOuX82jHE9WhRW4r
SH/hkDKqUwthKyUeVmmv9Z6bSVSZAogC+brZSLFx4vvTsQqRPdYJBzapqBLyCFRL
yv49ifVu4SxfPl602NfWNtdH6cEltKc1GafQevJBq5Y/Gp2apt34PRYNVfX+2E8g
fx0iMprTXuta4uK8vzUpOPp/ngAxvYY9htjFSTVW4LKNLpKHf2wX81A4TZ4krsIY
/XPcDSFnBFz62U3mfteH2yzQ96bKCsJNZ/rEO9rUkEL2ldwD7DsN/0uKU81l3tnz
xz1uW+tcK6hL5DY+30nXvsYlnCzvsgKkCUpvtk2rVDZ7oRcJA4W+La7lzXcfbsTo
kcWthB7qt+h4vJubTXTPvMURzc5yvNQ78n3oIh5OdgAhJNdT2a4=
=ioD7
-----END PGP SIGNATURE-----