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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build1
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
 551f6048b7de186621ea7af9978f41bebe2fc11f 8852 mathcomp-bigenough_1.0.2-1build1.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 9aa64dd5ca7dcaa0a3ef53f536800ce49ce065ebe704d744986d9ab5e2f251d6 8852 mathcomp-bigenough_1.0.2-1build1.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 37e0407f0a6896f700c8f0c331c192d0 8852 mathcomp-bigenough_1.0.2-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1gdkACgkQ808JdE6f
Xdn20hAAvDRl3ZDdKtUvoAWrPDn28zF9/gqe+h/nYO+zjpj2w+/AnmpaRMGwDOvK
rFraWqEEFLbA5OLIqf+91iTcG3pGqiCOsz/kf3k1X5GXuH4Kn7n2nnOyaNVTvlkS
sIXC4/tzWc14dRJlgdJk738aX/YS4ZSMPXVZpA2Nyzi+TgxVrniAVd1KOVmhwKX5
8F6qR55paHEO0G0P0x1iT4puLnP+afQOSeakpqRjdXl8O+C3WgOmAKB0d2R2/CRG
0Pmc03yuHVOUfiLt/OxkCEHjG2oDaXzo264o3MmDaeKY6+6Bpjs+3GPaKz3aRm6U
nN2Sg6U21bGzMJ3+Lj3yP5hI27V/deij4xsDjy+vSOb4SYS3Jk0kQbAewXgNSAVE
NWmN0M7QdVdFvppkfrCNDmgCd1i32XxwIn1e8EAEboMtWnSTyx0mJtxKHkErlFwy
TO+MnJexq7ZxT2w2bPvtGRc+oB50hzhCSFf/jjGmfbQTZuZZ6RS11CIm9Wo70O9x
ZzHlywGIY5mlMk6GW+yPCIXKucO0rlKKGHqxEVx5iUjJAaQim4sULG+czCwyGl5H
SGsgJMzEG/7VxsUunMhG/3440Dsb0TOu0sSBsUmIM0YyWmhL2zEUsOAafL9Fcqcy
29VIcfjfEfPYJyGJ8XyAbk54H4e+rH15OynVWOyZF27zvg7GtE0=
=bRjD
-----END PGP SIGNATURE-----