-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-5build1
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
 8d6a1574c39d9ded9b942c1dfffcf8d8d6e945b8 8596 mathcomp-bigenough_1.0.1-5build1.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 7c2fcb6e622f90c7f0d80e362433e5e246bab9606f8138c07bd3404e2f57458d 8596 mathcomp-bigenough_1.0.1-5build1.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 08a6a362561f8854be1359e764d43707 8596 mathcomp-bigenough_1.0.1-5build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKXhy8ACgkQ808JdE6f
XdmoKg//ekCJD8aWxw5Q2h15Ud6uhyBeyF2V++UhVj44ZB+Nvq/0E38LR3UrHZXr
5+c3oaQL0LRP9dz6zY8qliz39EbRPJqjlNFuFyZitZ06nOXrbNkcUiX00ggcn26+
p8Z1q7ZnnShWcsCX3i6q+GArrKulN42EuM0q0eXPtZ4yDGnWcWIPIw2pz/nLklVs
klfQwyC/Ze+CWuvrmcyESdz/ZatB0z0/8ND8r00RjFhXxxV+Xb5kDZL3XG6ilz4p
uylEhxFPl/RvMs5SxcXNZ1J0OPBxl9t1/HroaRGV3o1A0D1YHPwYVDWZnUcxixV+
N/OKirQ4z4i+j8eoFwmfFqu/Fjf78W2wAPnHg537+xE5wKw+TKvAVQNAN9mOOMtJ
k0QD8hIQOeExGGT74Q5urf4XZvZLq12yePjOQG30S4gQRnns5arBo5auabgWX7he
hMYcXJmbDQsbNKj85q0+ghyBJeJYgqAhq7i+xJfQEJgG558okoIbbzKOsjsDALmg
CpaKlGH2VlcWd+4EzAeoVl4vpBHFOFfb4YpL0cXdBx8x+VjEjiK/NAqP07+njsKr
NNSjs1HmcpB0Ccn91juy7HZBJ/ZhO4gGspKf1LyBU7Bz/wQmAZZr7FzOLfa0Gvrb
jng0MgTurkI/vVY40BGfUX5FiWH33ZKHapX+CD3GE63N70Li5Ws=
=JBqC
-----END PGP SIGNATURE-----