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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-14build11
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
 11d306fbfffe251b4fb1c4cdba953c02f8d43bac 9048 mathcomp-bigenough_1.0.1-14build11.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 815a5f366f98900944d0667a9f268cc829312c840ebf2b046721089e9fc49f30 9048 mathcomp-bigenough_1.0.1-14build11.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 0f8ef54a6344508439f72518d1a6a9ed 9048 mathcomp-bigenough_1.0.1-14build11.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeR/Y4ACgkQ808JdE6f
XdnL1Q//d7afLrr456+eaXyGx4i3cPAb7uA+zCc3PC9A9tJhtvO+As2vvmKPKwPR
TkA+Vd8AleJH284aygai6FKgM06gGJqtnqXAzkBG/kYwk/8CnVU8EqeECsxPBy+p
jdAdkPVHZ34Ufj/8LhwI/XeqA3g6nb5M9zAcNB1E/ALRO6OAVBCNq6JSbdD6QZKe
p7rfZ/1NaphVSRpQCBXjnLYxqdC0HSyaH4j0aZw0G1J47wtzFL0qLikzUmIqnwvh
x7yxw22ejqBDQRUB/fPp8dtxmRkTKARlwykWqo9l564oDlmMEC6tlzP8SYKaPSZG
CB5BqSmZ9m/KKbTIBAv4dGpopzeVwyJoXVG+EnayDI6/DUpG39cN1+ZPQxo1C0Io
13+spO1z5oOqyGD9ReVnEr4BwZuuoBSbkuFndNlHvnZyAQhXZCknUjibnEs0Sxgq
s0VuqudsRHTStwruGdyoCopG+RBp8NnMZS7Ca8Yvfwe/c+2seNv9lML7UO6wNO+Y
zf2SBepKVOkfSsaa0EOAXtpWRSLqcty/rfGBHk8slU6YxMys+HvZwUDUx9AsSgVh
+i0K4l7sKp8d0khns/yHhy+zLnkcJW6ficroMVcZP3jpbPK7kkQXKV+lC0Or4zp8
DtvEw6WySSfPzDLwx8nRP7DDzwnuFNoLlzoG3pFn1zcF4Sw5zhQ=
=xJvz
-----END PGP SIGNATURE-----