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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-14build12
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
 da8a83be1a38a702505cc9fdd103fd1fb54577ec 9052 mathcomp-bigenough_1.0.1-14build12.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 2fc16a8eff09fc91c1f07ceec0589b4be56ef9c0b230d7f663e4e79edd4ebddf 9052 mathcomp-bigenough_1.0.1-14build12.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 d11783c45a3ebabf07d2368890f8b6a6 9052 mathcomp-bigenough_1.0.1-14build12.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmecglkACgkQ808JdE6f
XdmcUQ/6AuPTU3GGP6cAkajKzijt0NLbXJQDoYEcnHqe19t9V0qYAyX5WCGDH8A8
xr+5emv6N71cwp8ijG6AgcINYvXehUItrd5FTlebPOvAcAiE2+CU9dnzoxFvf0JH
ibt85Ack/ZkbkH9diu38vji3LkyCKtj6qisGocJXpKowLX9EGKwSGHryTE1mwlmc
ImJYbpUEf/Nm7Z+tLBlSjd/+8TE3fcvR5P4aHHq/OL98mvBbtZZTInQVqjxB/XiK
iV7d4hmwMfEaXa4IiY++FSB3B/YQdw08yxThOZZWygEcKja554pXTS8rUh9ZPWgE
WGEhfJKN0uovSoig8WmQBsPgWy+CYEzUTn9tR7NDet6jUaLM8d440IBn8v26jvSP
CfQ3z4WIprU+8BXkO76BQButAWstCUFdzwTskkrJZqjpRPhAAGPr1kRBZ8BDjxnz
m06K47ry2ijOvprXbHMGeTeuBlO6vDO1eXohYlMxP1jBLZQsVmbP4zXT/04sBE2P
FHoFpm9bnMGkPAXqr0lL+VUtohN77RTrPZXB2Omwvh7Bj8mcuRsu0Mry5B8PDcxl
0u7bt5iKGbmFJjvoS2VJwkGXNJq4RzBTd/gi0S3cz/l/dOw7QTDpYgT+zoYE+lJ6
JdJ+KONbWS3Z6Fr8v4zhkwOXkPHPjecoCYy8QWFhd7KAa5dBmTQ=
=B/Wk
-----END PGP SIGNATURE-----