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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-8build6
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
 1ac3b65e1277abcaa51acb0b89021d92a1526c94 8812 mathcomp-bigenough_1.0.1-8build6.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 7cc342156abb4be7a58696ad43d29911e3086a27cfe7c62ecc1f2f1cdd4dfb01 8812 mathcomp-bigenough_1.0.1-8build6.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 75d387b3e6f94376caaa82c5c63ee824 8812 mathcomp-bigenough_1.0.1-8build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudjgACgkQ808JdE6f
XdlBYxAAzl8CJowThIaMYqcENLmzGX4Fnxf22xBQQUitf5/fTS01X/JwAfGOF+lz
dEca9eXjILL+rrxoa9nlNm+ih0BsmDlCAhAjCRAguONZWsh+xVM1HWff4OLRE5lw
NnJlySytoQ6muLtiquG2lQJ8ew4wNeJSmmBZKjHWVuUagMV6UULDFftREgEGOFhY
c98802/tEYjQ+oI7/xKIgeWlJxQrkZgMQ9m9T6igaSyx2rTTOWrKmkiuD/iABIWb
rlc+/phPoHALVTXYxggnq6izY+N9xLKi+tEwY8n0RPG2WvkGLQMXE4erCNowTqIA
lwDojefypUBF9M/rcTtkqq32jbzQq1LJUvdy5THV5YjQ4RFNlSQBPC+ayOlgwSVM
eID6XmxWHn6loNNyG5nSBYH7lwL9xN3Y5i5dQM4jAmGyoQoIRJf69jWzCiEHB1Z7
hyHCoOMvFHZwjemoYYXvXyZx89qCpyocvNxyBEEyFu5hdy2FK0Z1WKWbpEPudR6e
OimzdvoVMiluAA9AAM8kdYzBv/JovvZV/tOhg9DwBk9cjiczCO2VAZguBHB5K2N3
m+/UoARe8M8b+ljZXVWHp+/VWn/SBtVmCOW3wt2wM5yqHLWQMx/8J6pfT4vhD9wv
V+aT6apbZ+r2sCaY8y8xXFfDOGQ4c7MlrbxoIFTFW+W44Kn/Y8Q=
=s14u
-----END PGP SIGNATURE-----