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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.4-3build1
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 de445845fe60bf0512c1bd6a08b71ce29dc7c013 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 73c9a625f6a9b9016ed02afce900637e8aee7796 9036 mathcomp-bigenough_1.0.4-3build1.debian.tar.xz
Checksums-Sha256:
 cb14fd2d5200f3758b580262245bcf694a47ec7265ed692a616ce911d16392c2 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 0720ad507b9714cbad3dc5fe488f60ef2dcb4a0eb08a814e5840e5195bf13a07 9036 mathcomp-bigenough_1.0.4-3build1.debian.tar.xz
Files:
 122ea1456196afbf6fe0b396e059172a 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 030f3cbb71a340c913301c30b0e443e6 9036 mathcomp-bigenough_1.0.4-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdqUACgkQ808JdE6f
XdkUXw//cIdnbmigHjOLeSeQk+THLHYxUmYLSPB/Ds4Sm8daHiNgF/mgO3tcn4II
T4Deq5F0XW0fSX4kkZbA1JfKCrXwSwRwksUB0cvOTVLufzfXhyd8e+7iuVfJrR+q
5w/PAVKiUmw2Eee0pSx82No3MtaaOPajfEne+YbkdkdOQ2GmLwafA7BP4wW1b/lV
4bIerhbe2IuoxHoS9u5HbTrJzzKmNvHrExFFQXT6rSSQ9qNTmMJZJtgVVDyuGV7a
mL345c+AqMp+KYyWGpdmIgxEk8iHF9fZrKK7ExK1UXc2+bhj4TE68J6OpdqEREt0
uhFjTs+znw7bFirxPpBlpJ4bGYw3ol78AcOvFhaHpL+AkvwGTqlhjSmCPcLiiF6S
zSqUeVpMmI1bbGiuY15Y/ZgA/0o81xOouH52dXFZkMYoyps4tJBQI4jEc6b8xG6j
N3hZ6TE3FyqmCE1i6+9vjkPwfLpBRg03wOhnYMgfW78yEpeJNlQ7T85AALhLzYat
3XdWnxPuy7g8Uypn9ZMPQIWnlTn5B2cHuZwZ+r8VdqnjEy/i7dUbw2pEWviJlxyN
92GpgsKW4DPfTeDhbvVX2htyPN6OiByVL+klF6T/tDtYZJqk+3PzaMpliDQNLxDp
GYepS/oYB/n9NCLfwB7OFpbat2QQW7Uy8w2L5h/ugXemb5KeEO0=
=lPVi
-----END PGP SIGNATURE-----