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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-1
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.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-bigenough
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 f4eedb7395c9148776d6b8ec9deb006d63a916e2 8340 mathcomp-bigenough_1.0.1-1.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 37a13c5d6b928889cae401ce25be7730e618c3171611a3f2222bbdc781450b03 8340 mathcomp-bigenough_1.0.1-1.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 73340b37726d6d7f14353c43a2064dcb 8340 mathcomp-bigenough_1.0.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDayMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRCR8QAIGeOoaTyIwKlj5PK1IQGY4XWU4Kq3LG
fUQtWeztNNKvKVl+5rAxNhMhrl4ldLRfsxTkrlbHfYoxtv2k5t0bv9xHwzfWiThE
NhMWfcoMJXRxTOoxyHBdjBVvzGylfXs07+m/kPiS6WI7XAGEvS3p+M1N6KNwulVo
+q3gCMJzcVOgy9dFpmsUlNVXSjEdeqaozoCUhjRp8MH3qw1O0piHB9vAW0Zb36Q3
McfD1UZqyTP6iX2t7WFC+VHwycfjjQktCPVAqHHulu4iXtU24fpt2XtCm99Q/qAq
6GthazaiUSIh7Mf8TVJdiuvgf/04S9nYCRRZcXikLp3Xnr5qXBv3YJLzfLWQi1c4
CYmLI02oaUvvHa60iJ0P3eRdYyO+3GEMbp0B57FtY6/PghSAPwbNWXgLu76inYUf
F64KOX/G82D9YyZ/rN+rsM9debwWafLhAYBdV/H6jxkks90r7rfKSYO5srlStbA1
7WFmXa3bShjT7QU7eVlyctc1pv1pOkS7eLKz76vD+XWqhZFcZrV4GzlIK44TXXZ4
5jj9ep29ar8MQt35WHR3P9NTsssj67l9FM4vix/oV4RK4ryi6yetWzVxBoQu5oVv
ViIuMIbofQ7dEGxtwPkkRaZTWqSsFsBuSlsrqmFPDXDMjFRgT5NBzNh12qW7TpB2
haH39rIYTtky
=u0Bg
-----END PGP SIGNATURE-----