-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build4
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:
 9586ab1861867744a84b20bc8356540b699ab096 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 3d2534789b188df4122f54e59651e6bd178ac99e 8936 mathcomp-bigenough_1.0.2-1build4.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 20df51f7781dab2068728e82dab0b29a4eb65eec6e6b0bd489ee053f2f37ab38 8936 mathcomp-bigenough_1.0.2-1build4.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 10cabb0575ba9b57a39bc6829a625da5 8936 mathcomp-bigenough_1.0.2-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUPCUACgkQ808JdE6f
XdkK+A//UMzIi79ReDiYyfLwqJzBH26e/4Ev46xuQo731jT1uxOda0USA7URWZnw
3pkZUFd1/XwqodU4OdYntRuAHsrNdxbzj/4wJqqGWY/q9h++Poexo69f1ZKjpesF
h1idM15BMaLFL+ml68dZ7OBB+IM0eAWsa6Ox7LQhNDmYRENu2fg/p2GbChKStMV+
/f7dIJZ84dz2mr4yfor8ehuk/0qi1LllKGUysPGc+ybCLnC9Iy4jbCQk5AoCjIAn
ZnmKsGboY+oIea5qGny0B76Zf3Fx+LpuRj/i0qcBct2o4GnxSDMkIVLglGB32MSU
KpkneRbhsNH/FqNrgreGCdATKp22CbC1wDMrEPD3E8O+KYbG4eOWg4uZpV6v3Txy
FOI8GQm4ITrR2Y94CyVK1kcaDo4XF8vXekT1mAf7VxuIn7PgjRaB6HLyaPie3DbZ
w1vr/2LKhBz7JuDs1HagyV1spXtFAFn14+fOD9Gq+m363+e3j7V30A4td8Oal1Ic
JZtBLt6PwfS4DWwZ/q7S6kCG/sWXx1PsK7bJPi2BAZbPb8u4Y5Tiqo7lcXAHKhlP
UZVd1ohcIsY7B62gk3Dac4xlyru041keRZ48wSp0sWuQtAdui+wBWySkkS8dIg4q
2SxpmhqP7lMua++vXvu2Q94Xa7+4vI+8j7HopIJdFIuDCy20fw0=
=xRKu
-----END PGP SIGNATURE-----