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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build18
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
 965be49aeab6962fe7face52caa18466bd8dc2fb 3428 coq-math-classes_8.19.0-1build18.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 cc452231ffffe9eb2faf634cfcd09810140130426cb3e1e9fbaf20fc3dbb3e86 3428 coq-math-classes_8.19.0-1build18.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 cc42f056a0493f750268de006e4d4435 3428 coq-math-classes_8.19.0-1build18.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOxxcACgkQ808JdE6f
XdmsXxAAvOLcosAFF+8YIsJUz6+uMam5933suKwAcfqM5buHBzP6hWntpG4CbhYQ
jv6YFAzWaqYTwABrXoAp0jCgf0bhKR0rcydU1sVohhPasw41TQu8gqjuH20kI/6o
9i4Whs42MlHxDzNfdKsujCnHr3azV1Acd/vzmDycKPxyHt61M/uqn6w1gxew+w19
wyQMjJn6SC4lTxJ1VyXIX9Xh7cadAmhyo6bvmYciIOjAoBdwrkgfRHqT83Qkj1YF
rAUIBUkkqxwHTl4kysXepCtaZM6VpsarcFzWQ3p2F0pfTBk4/tAQT2SjTB6j6ClE
uu66Qb9L552/nLd/UEopfo39tL4m9N4upSF8gwqqjsTygZxYdoJaj7qp8H8cHXcp
qshh2K3eZ4qJocW2nh7I03Rj1nDQo9Swr/xljD4WcNG9VMyGOpjZMTuPhCfRdefp
sHjA2HEmAP4oQPNMvKWtiOdvBPyWar/sSCCvsW32/lAv3dz0FHTZaanXuYBM53k3
Dh9+Aycs38Ar4kaGZMzMEZJSmw+7NVKHM4zI+pQ4dRWbr6KNiEYpJRkoYgpfUTfO
HjmVr+WvfFaF1E0oP2NYfGothYUBxaEul2U9uZRd5xtHZTdOeAj+vJF8eSY7VSo0
CmWFmGtqk5di9gTvJjtsMMf2wt8xHqruoX1DXwR9IZWpEtUj6Vw=
=0g4w
-----END PGP SIGNATURE-----