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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-7
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.1
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-coq, 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
 7e3f9900ae9d27bfe9b88baec4adaf022725625e 8516 mathcomp-bigenough_1.0.1-7.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 bdbebbb3024125432c3456626e4e922cda6b194f2d4793d2d40f1a67f5cf274c 8516 mathcomp-bigenough_1.0.1-7.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 302ebd1ab4563e450a184ec6418105dc 8516 mathcomp-bigenough_1.0.1-7.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLPwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdckP/jCxLluuYKOIhtu6CxGneSLsl+Ts8RIj
1+rxbsuDxXSy++TN9a6vwRRkoUYii2pHoy4pzDlK8ILpYk/n9vXFnn82tbA/0gwb
BO0CNVrpVZT7DyMlE8svUezN2ErurR9Hz1xpnXLOjpO0zHCZN9XXiDqOE5m6WymQ
fJrLU3TZw99y7Rm9gGk0o6v32wtG6WIjHJUqNx8AYoVI31SehTcZbgM3i1g3sxwK
I5OXlZ7B/TPDZdO2kXTweEGaB3o8/qWr4EK4SdVwTuAUa6r5ZgzNQ9eZ/OoRlA5O
m8cSoEbTR6zK4lzrMU6FTV52eWX9+GEN2v+X32V5KdVx0zGdrB17TyVEviEiDFDv
nsgaHw9Iy7kCwN6+kods4NtAGb4SGHCBuby2FV6h69NFb6Ion9W2G3Qj+2JxmWov
YzNcxru5CJddUB5hUHdFe06cuHog8k8ZKhB0DH1UjVqa6Qb5EKLkZQ46vRZSZ64S
8WpTI7kmuzKjhaJE08d5xA9H58UC91se9rGZAQ+ZLNPMX2teOF3QmgrzL4sgRhq8
DUZQtXqJwknRtPFfdViXq0a6ER/K6NzrgIldCt+jQOPdYgJR4jykfjtFCZUCV594
AlQ/YaLpPK7aNKmUSwc2s4Ahb5q5bFfgGHSVLVxHlHXXUOKXNLQze1hM+3rYFYgD
M97zvDRODzpk
=BkIP
-----END PGP SIGNATURE-----