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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build10
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
 bc048324c6883f0a758a848a7ba39ce01a05e4e7 9076 mathcomp-bigenough_1.0.2-1build10.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 d7b700e4390570f506b674d8750a06ae38749a06670634a5e399a39d72625fdd 9076 mathcomp-bigenough_1.0.2-1build10.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 b6a3962640f17694919c33207034613c 9076 mathcomp-bigenough_1.0.2-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmqsdwACgkQWWH9vpxh
mAl40w/+IfzY6QQDuhKg09JS+mkK5IOznrHJmd8VAqRv3TMMQFivF3qdWzrpH2j0
3t5rwGdeBbxu4f/GW38kdM32+EJo3Mc2U6mGg6HhVIa+ZSLwl0r2hIR695uicXu7
DXWV5PmK6Q48CqkK07xHAVyY+OGyUdEahkQul4pda2Qm9ooCWqznqVOoXqzeoScg
+GdszrNNTkEoXhqknjngK5k9bBXFFlIqXlnZkFBJd+4qHzZu7eiZzh3gmSWC63tV
CZL2VYAbmoz7yvhLRC9sIn27Nb7aAoK1n59IcbfVVp24joxH2QQjtHqh3d1UTS3x
bV+hyKMiuWYwrBGs3FzOMTThIJ6P8j+DLuNl3zFTSzQmNyx1wd7rV0+LQ0UFTFX+
Cw0g2KLJb0XJ9mj2Mz4M/hu3xVqT7O0r40P2tOOh+csFh59L91y1UmTCQRMx1veO
pGkq2yaoN5uNSLcepP0aRQZy1rYTv3cEkuoo45DebQh8skY/K/puQqZkhPRohKdq
zHdtDOJCb6wQ1HjD67MP0tTGtnT3eH5CSOfvIvwtbN6CPClZMEC/4exL0KB5+LAr
KXPBTteYcyJcxVyqxCuo1YYH/6KtYVqF/BrloPje1EPNSpelKqXHBs26owFhbYm+
ZFteyB1QIVfw4XiXM//kSo7uOOFNI2pdZY2cd8NOIi0mMPYSUAw=
=PnfW
-----END PGP SIGNATURE-----