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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build6
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/math-classes
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-math-classes
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-math-classes.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-bignums, libcoq-stdlib
Package-List:
 libcoq-math-classes deb ocaml optional arch=any
Checksums-Sha1:
 39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-math-classes_8.19.0.orig.tar.gz
 3a91f14c4bb07adf852b908d0bd1673069b54c72 3116 coq-math-classes_8.19.0-1build6.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 f505295eec212f09a70f5f81b7417acb8ed1284d361c291f427872baef6f173f 3116 coq-math-classes_8.19.0-1build6.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 ce26461bca7f45fa6d5c1af6a3ec990f 3116 coq-math-classes_8.19.0-1build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9ovkACgkQ808JdE6f
XdnGIw/5AQ0V4zXs6nC9nf16zGN4C3S12ZuxSTw+l4NsaFi78bpyJKukS9jb52XP
8yUOfyVIjr3bthzpdpj1koOayKKyBB3Cwm0ZF4a+Xxz7MhTq2eJ/DQz4NLKUb7yX
fHD4VtW2Rz7M8+RDb2fo80QdqJUmvZqzXI+YUfE2qa+z5V3pGbgedABbORXIDMHR
0DvJasSF5BsTRv8nuVIw0EwHEkivun02ZDq8UMaeaJDOVgj0SsKyktX1SazS8x4H
PGg3wKLqPcL3iplr+RItdCJqfXX2X/TPVkkZVSpdmMuhJRCRhfFfz/HWoMTgCHA2
E7JMMO22uSgebxoNiyrUTqJuHrUH9p94Q56Tov+Iy9JJgR1Y5YXCd4VM0/jPUaaI
T2vRQ1GFhHs/bAE9TeHitwaMqhv3zdlE1YtG3VpbbWlGoAuwD/lWQV+lgiz07PoG
SMk44QLM6rKWWhpl+RJH9PqWMukOt0ghTIg9wb4rHAtGRMCcZzGj3IVqWlDZCTok
LAsDcOxKgt0FOP6ZcmWEJ6OXlmnssI3VpSAKyGeXbvAvd0pTcC2E0He7AEoFA8Tt
OwvHzKGNGajFbS8ldAI9/ESDgzi4doJxteb9T4jpWSryboZh41qVcycTMgZzKrQG
Xs03KnE4tq539HuR5uYHD3BX8him6fcFq5uugHXZWSyeTlVWcuM=
=uXaz
-----END PGP SIGNATURE-----