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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-12build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 48cb737c35f0e431c5df44747445276c6a59e249 8928 mathcomp-bigenough_1.0.1-12build5.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 9e607a8a9122d1c93870f71ccc33f5d299dd355d8a3a405a2cca056b78eef90a 8928 mathcomp-bigenough_1.0.1-12build5.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 5ea102a7e02eb87582bb74448e108056 8928 mathcomp-bigenough_1.0.1-12build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmc8ACgkQ808JdE6f
XdlXzw//bsmSgcO7mTMvbkpCLbs0WbW9OIeh1T8s2oMF1LM9VSsjojC6Gmdc1eUj
wmxKwSBvQvxav6OdkU2fk3iR3JKQRPV3q/wMBuALDdx183dK5YNcNYOYK7bXBRSt
bqvVSDEkSIxQqRGT5Hs3Qsaq2fUDlj776y/NWzB60VuOg4tVb87Jb34VWqTkzR/d
J0IMLoLbC2ou4brKFk7xaaaCw33jEnCkzQQ2aItrJp9Ijgiq8GSwhcwExEpq946R
SN9l8XsNqADeyoKEI+6E0aTgsi4YiZJKQFcwFLg5yR66+b+Vionn77QL8ziUepPO
zQ9e/AmnAb1pSdL4YAFj1JIvBTVHYn+kJ6gYf9/3sFrwKVmwbN/m0Q7pJmkIueYp
o+wYrqklzcmfbsYmCE4E49WRfDNUIRjhA1NEu6rKsWafVXDUL/z8NbDBOlD/Q4pV
KqJUJ9/vFdvPZ8Sp+Ljx5bRyh/BmL8zut0LB76W7R04I6tytQkkxlX0DNlt+D7oj
9WT5ThvY9N0kvPX9nE36tUBNcmc2WQaHV+38jl5AadgVfsrxHpWwOWwZBNZhpbOt
W3bEBbt1jMk9PFWd/MqSTRHkIKhWb/GUSmbvhlyNBmqo6/yOEpFREGIArfBOSYXI
4a0aHNsPS4ZB2db4e+0h5+54jpnxownVUR1f3NlRhYpNlS9fXQ8=
=ksor
-----END PGP SIGNATURE-----