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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-14build7
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
 a8b57f005a30002fb5f0c5784870ba5fde3775cd 8968 mathcomp-bigenough_1.0.1-14build7.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 3873f7a1387cd9ae38adfe749b207c92d59d11f1518910cf64ad3bf2a21fb89c 8968 mathcomp-bigenough_1.0.1-14build7.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 6cd36e433f3827aea24252c3743287f1 8968 mathcomp-bigenough_1.0.1-14build7.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbppPgACgkQ808JdE6f
Xdmjqg/+KXsNIHUEEsBBvyJ+6vrB8tar6/Oe6HLd83lNt0SaLRHdvJeH+oiPJ0RI
O8kcQBC7DoMTmIX4IEoPIW8OTp+LGfPOKhXlIrzs+I1aEI1KYFPIeehJFHPgEvVj
LnLAx5duC5jIC6Hi6xX+5IL7n2AqJaMWHfxnl3UtNMvrVXBNT3/cIxGIyUPNSVVG
g6bwSvJglc1QMiilSoT3BwHOGqg1Swpiss1UhD2/w+JCpou6koGM4pCRl8ualyfv
BLmGBvMULxjw6ax6IgsNKQTWvl004vGn/UFBic6eSJ6evGrYiSmTqFIuj2McXdYe
XYZMahskLt24dq3wsmOceg6+g/LGrgN8rwbE6/Hon6rxUm2hPhLGNovgbbPGB1v8
ZPI2cilzobz2Lnhf1dY2dAM2/e6g7tnxDdHV4XvL3rOV8zAvWIzgXDAicaxwltgZ
BLhDovFdJgipaWSSEnZ6x/PZ5NrTNjBWvKO6HjGrdmAYf+j8lhZpwb1B7sXEuJ4c
58UII7RyVkh1m9rb0mZcYuF0hPYAo6THj/4Y8vVtcOmA7v5oqhjPfI26kRZy3WWJ
47ryUmeyI104IcMT0SfeNEpp+MwepqCtsG3w8q9Fend0gpxnQWLUIlkDceBzkajf
yUCL44qbAHi07aMr2j7J5UPo/wCKjavBykUVu3nuUrlgp5YwOl8=
=BM8U
-----END PGP SIGNATURE-----