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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.4-3
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 de445845fe60bf0512c1bd6a08b71ce29dc7c013 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 b831016a12e5578a07c975400b43d39db93341de 8948 mathcomp-bigenough_1.0.4-3.debian.tar.xz
Checksums-Sha256:
 cb14fd2d5200f3758b580262245bcf694a47ec7265ed692a616ce911d16392c2 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 6604f3efe843a20537f9abe99763f85d31c6346459cbc8260e25403064911732 8948 mathcomp-bigenough_1.0.4-3.debian.tar.xz
Files:
 122ea1456196afbf6fe0b396e059172a 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 6d91251b3d2e29488b8e4faaf531a470 8948 mathcomp-bigenough_1.0.4-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8GWwZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfkOD/9jFq/Q64agdkykQ8nnd0nf
SHxvGMGyKxEIHnVIbYO+9HqfFz/02mbCqzP+AdhrLOc0feWJUEL1EHv1DgKJWTPP
AiaiK3+5WxNf5R/oI+ERJrn/R4JfSP68jqE8yJia6hhVXEsv6mXRUC/k74aRz9JR
Baae4RHiZYARAk4cLoLRN42Wng+HTwBqFo4sCde5ntE5GAogiK4x989h2NCQFsxQ
LXRJwSSzoS1Spt+YsXK6zio6rWklx7uSxzOt/On2EBdKZFUY8yUvox0kZfyafJY9
Tkm2ZcuFmDtZ7rFCKqn3cvJlsAbeMjCfZEfwc67r2UwICCPAqYbtEbmq9GzgJIky
+oTvKLWScxM11MfRJKH2ShITviLyj+DOg7flNvgE0eq8Rw2PWBote16BGRmHa741
HKaFGspK2Z3WvcBNoYB4c72bTi7HEhDcXmqdpARXJCxBZMpP4xU2wHw1bywyfDcS
0i9ViG++Bu8M1LmMrAo1Y3JKyAJRP8/0+TeLv8Znh9XvvwdJnrxYvmSwdb9mZyHv
pdl6W8M8SxlPBXQKZV0ZsNQZ7SMOdF6yRhLtl4ylRAQgjkHWZ1PDOG8Wj2k64lDc
ZdTztjpSOHBDQGG0aiZT2FQ3E26wnOzRrQWuNRzMHeAYwN0WrvyLfnFj58K8A3wR
SMWkzgexdVM1q+qY0Go7oQ==
=Vc5e
-----END PGP SIGNATURE-----