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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-14build5
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:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 75ae0a0f0c9b38f67061c0aa0d87932370ada55d 8948 mathcomp-bigenough_1.0.1-14build5.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 2e71112901fc69a68213d146bd23101aa1de23a860767fb55b1f1b550a5094f1 8948 mathcomp-bigenough_1.0.1-14build5.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 d3a0e6b01b9c2790f4ec43979f9631ad 8948 mathcomp-bigenough_1.0.1-14build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbdD5gACgkQLIPbyOm9
DjfmWg/8CTXxyXTR2+VbRTYxvqjmZee4bi0P3Ic2zAXKtJUatU6WxMmKyECe7JXa
hBh7dZG/i0gB1Fa8e3VIl5EEV03jf2J3Zyk51LLPl4HkGWZy5JdBGvhPMUM+QzUG
4+puVP5Xcbz6z3MgoZHGGIrgCPloOyxUG5B0W9FQwC/9pf54Q48ftgZGFTSYi/RZ
GKZ1KPZKwuWNWPTM9Rp6QQYzRfV01Cb/mx1fOpuCKp7q2xuXj1AfpgE2k05GODgG
azhhwtYHG/eYtD2KIsGcTUweW+hDBDDs7jwSpSR9WvEg/7xsYcjZjgBk1/HJiSeX
li4XDZw6SpH0VtzXfzDvErimRLnF8Iea9GGFdN87ASY7t9hV3o7FKpAd+Mmf0B0o
rlfQjdrI0qC1tDK63n6OEg1awrL6p/iS58eJJOEqTtpqczWYAoItG/DaT5LXoE7v
NcWlvFCXAKw2Nj4++SKvwEi6lco0s2IbuT8u5h0U+t9XWwIWCjXmB67VP7WocJyT
/Oj5fRjA1e85WVJe4hn/oA0i9tgjEh/QMN+MrDtI1Ws4paQgTEyfM1acA9OJrO5r
OT0e+Llie4Za6u5rth8Y+ms/daHTX+fWAIcD8GnA+CaNlM2WBKFoCpx9aq+p52Pw
9TU/r2A+9H0pHPNErS39ODI3MGDp1TLMWCU1JMUhFex+v/Y/mNw=
=0ubk
-----END PGP SIGNATURE-----