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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-13build4
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
 cf39120b2ad1c2c47e79bd9eb706abee3bdc7e8d 8816 mathcomp-bigenough_1.0.1-13build4.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 92622da6fae5e522605c02f329992f5c79014238d08f8b8d9801448bbfab7267 8816 mathcomp-bigenough_1.0.1-13build4.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 614e06891ad804a0d0889a68d273d28c 8816 mathcomp-bigenough_1.0.1-13build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtptoACgkQ808JdE6f
XdllKQ//eO/GKHfAj5tIrMMBNyTq0f29auIgKcHiq4Y8YWzUYnGTDfn6yXvsB2ld
dmGr3xODm6+v897bLdMvHLDh8IdpRVN0JpeptBHhuP5PBfjySVqm00inwfqxHPSU
SpbeWsYMV2/u4ISTE/3lftxlm8T3g+S45pgh5LKHg0Tu3XL/6SwlNaCWMFxSm32v
z5EQy7jV/qQMP5AjCYasN0lBrV/rzJJzIvHOVwxsFjIRAt1b5cc+3FcLiDnoPuo5
uh1xsNyfABsnkW02F6ddplT2JOyqtC/6CAGEH47Ga25EgNZzohSoZFk/R6NCvhi8
Ixv7S0jym7vdloLHdKFQIpaBaPFSvob1+o43gn5h2mp6qnxcxg6ZTsX15867AjI2
eJNg6fGYQ+Yn++7Di/kn8al0odPT7kboUQfbiL6Wpdh/svrNv0iVlA5o0uUybTlB
HwIQGcv0p28sXzbbXqUA4tvGkzwRNJTmc/Jcwgz7QjnAtFZln5LdSYljCoTg3CUc
Xo+652X4kL5MbIDzBlMgiYhrrY2J4m6j7fixKflARrjzHqB0+8jdwSJw9gPGgWDB
pp5vKQttpA3S+0JW1yhNfZ0Nr/XRME2z9fXaQFmhe0DEShqjuWEykJCKQRWuKhRa
HJUeVfAHEUwpzuSp50qishU+8AFkVe6U17hI6PWQw08TVImEUDw=
=Up6H
-----END PGP SIGNATURE-----