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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-14build6
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
 78cf58c19bb621ca7aa5d4bb70aede8a17a83ef4 8952 mathcomp-bigenough_1.0.1-14build6.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 64753122651b286a980c8f4427b43746702ba4ddbbf19aab762d12f09c40580f 8952 mathcomp-bigenough_1.0.1-14build6.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 37080c195ae47d8bd3aac6198f683fce 8952 mathcomp-bigenough_1.0.1-14build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbh9FkACgkQ808JdE6f
XdmFpw/9FwCtvloHaLsHP3bUMdg2RxUPPUyMShKcnCCnyDexqUJQswVviopTSYIX
Y4XFv09ce7GesppFrriPDQmNBVXuvSE1BYXfQvDsrzX6e1ax4246chKBLpLPi6hS
DoV1SVbookUWKJ2MN7b7bSjNzVXbO5TlddlHVSM4JlfEdGyEIsfoKXacK4KfouHM
819MpEm5H5yA9kOqKQS0AC/bbd71G85o3AvW6t5Cl4u81QRPe3BC3iT9ep5NaM35
5gjuJvPcdj7RUOzEoR8rnag6kyTI4WYPPob0X73RhJCvMwVNwfDJir3u5s+D6HMa
iZ4yhEM9WxrtYToYwSmmdOSAPKqPFyYlJUXQ/N48bVDeF4b1J7eDt3xnLYjaKYfI
pLGedXvgloIBQ4BvKphMOYIwBFSa/4g+WTsMwz1oizznbGGTpsejBdHL0dqOpsFg
mvdTWXvWCfAAarxLEmKytZjlGdRaM8wh3pYky+QhFi7zAV7K442bnmpb4cfgs1Fl
lNil7e08Y3GX6ik2e7l+Xqt6nEpVY61/0an+a/kLbosJ35XiJAUskItnifRv9kE1
JMPtqDKCruM8MchXcmqBThyxHuTbrNfLf0PIA4Iui6WLYxXbneNs8W6p4kNHeIPz
hmlByrsCkaFrI3TVa9Q55Xrhn0wDfp+XqKN2pVb0tQQmZHEIjTQ=
=taLM
-----END PGP SIGNATURE-----