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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build8
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
 fc49540fdd2a595c17a6018a0b782b218b7bb0af 9012 mathcomp-bigenough_1.0.2-1build8.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 68e874b073ce29c73af8f3a865a14df3e598bf52e595cd4147bee3cd995e0ebd 9012 mathcomp-bigenough_1.0.2-1build8.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 0d513da116dbb691ba82067aa64a76bb 9012 mathcomp-bigenough_1.0.2-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6bkACgkQ808JdE6f
Xdm5QQ/8DX8VEcyhhRg9QHXO/8WkVuN/BxLpFTfEjR8BlN2Dh/VE4lRL87hBA/Nw
Q27s312xnFveW7sCeZjFKvZnpyb6GZqPD+x2rFv44NtfYczcVOQTwLlO9KojeCNC
FMxpKimwj6pKP+n+sGuAoH1ZliCVWmm4UQed/O1ZEwsUD+UttNP2mDe3Gj6uFUnY
nB/EuGMuX2RCJexozTRfVA75d4DBJcvi/FnyqqLqLfftROS/zU7s6zZMZxOCKheg
FJzpA+3FzMU/DUyjl3UIaSNE7KTUjIPiFEbjHDDfZNKN1K2cwZxNEMcnZjehRhC2
PPFLZaULZRS0hA4HLOKn+SHau4hBhgdyOMxiPULXDaJo+7+OOHKYGu0/dLAPXUSh
uZhOcCVOTPMGgLSgHDbYGUb3nwbwUIG0/yPsffx5c1QzKZjAxU/ZVqToQwxV+rc6
0OjTQYVUTo63pAVBymUBNGMpFuIYdOz7iSzBXWi60F2SaSAcbJqs3XgWdcnIoqeW
axWLVunCDZJZHuJUCWt1WINCJeu1H/7LtTOsH3p49UgxdkkExg/TlQ3vLfMjOw20
u77N/NBwfy1qnlWb/kqebY+sSrS+k2ixkr5aBNRoX0xwDl/M7tnb4effxOoZuZvN
UFr7shL8tJoAmCh5uWVug/+iZVv58pNAWQUsNfcG/YOvUGbizF4=
=z/Cb
-----END PGP SIGNATURE-----