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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-14build9
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
 d54af4af9a65ea748232378b848b91801f5f279e 9008 mathcomp-bigenough_1.0.1-14build9.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 413abe95c9bc1b32e4e9b4849081ff47dfebd8bb67f1f1752f52165b724fa266 9008 mathcomp-bigenough_1.0.1-14build9.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 52695bba32e79778cc227274e0696b7c 9008 mathcomp-bigenough_1.0.1-14build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc+2IsACgkQLIPbyOm9
DjduXBAAgcPwDwE1Im1XM0PBdPxmtFSXNXnj7x+fXasQv3HXu3oiKjJkYMiPuapE
6UVoXJ6tSzNTWrFnRnPN3B0gw6M2vYojnCt4O2KJi0H3gCECE417ZGBQSKFFQI74
6S5TKdBo1wQ3HU4PWBZ0/4tFkL+xu8zV930OS4AiA7InOPpLwx4kKF3E0y7rN3zR
hNEggjC9jru8twMiqXRGz6vBW5KOr5uUhrxNFMibfTIpKDtZDRh3LzpR4N+GUsAV
AELK+jLQ6IRe6SfXAeoOiSVJrDk1gCPtiebsrW6jSZDxf2VNMgpBkIiiRgK1iSr5
RpzvKmwucqCu/OWulC7qtw71Xqk1HAAN6Qsmk+3GVKhdHFCslKK2e52A3/oSa07E
+a99FJRTLNuXEAEUxkqxJsSR7UNO/GNkZKHoZwRTsy9kpK95pxvX9p76cbssK1xq
3L0JnM8m3GKUs3lUCXa2aakJxocAWCCom1KwIyLOhncbZabRi0ouEenIAr3aApcb
dCNgS3D3yQiccF2W7/EKEA1UPlZjnp+oa+pRoYf/4684xWqxdKNsV31j3K5pJ0Xy
DeZY7xSJv1Q1I9jjx7WzLm18Ih9V0GhHkG6GU4FjSrlCjih4zi9SYWh/gZgTQBW3
kwon2V8INONjzGaVQzRoxs9pgddcO+h5Pnq2ixC8hGREHLPDRd0=
=UhYR
-----END PGP SIGNATURE-----