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

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

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYroo0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfF4P/j0ac23dAGh1+m0mtPi90/cgNCG5xxqk
t5lwakZ2PlHDkJpjREggxGJIaMLnjGR+yhaehAgLec+JvdgSn71AEPOlWmrN7L3z
JulWPtZ2P1ReBWy2OHanpenCVxVqAnaD2QWy7/K3/53HdG9tJm0T1oNSmDSCy56r
MoV37S/Aw8RzSoMrs7VNlHN+ai9opvKrM1pY5kmufskblIR0iPSyuecbBfoZJFT6
NwIa/v/NnmhCgo0OcPcI67vP/ShGO/QQWpWtcBiKyy3D/+tYipgUI7Le4vWIgA7c
Q4xYgofcTSQtgN5RbQKYaZWxsbbA8xXwh7F41+A/v5nEhxXSxP43GutOYZZVfxLi
F8VYKgUoON+bx3G8kN9DBQCjNYS8QW+cPe0W/9kQHn+7cEpqhfZ9Ge2ME+BZtvBB
2cj0kIYEYRvmzKUCxKQ0b/cD8tGV+QYfIXBqWMPUSodizarsrHAuuFdd546kxm78
wgoVNIl2/TYjEqMEc1EjSCktIrZ8sSzGLClJ5HvtOcZpNh2xloIlRy1Ms4yavrAs
4bV9zHy1PcecFOxhVDsNik5FndIBqkyJIsgZjRRAPPI2fgYm0f5jjRPb8mq8oQ3d
+YxPv1YdOxIScCZmubqpQnGFGjhRliE9FBO2A9rk/oYiDwCJk2Nig89cx8LZVnqr
Oz4ikETgJtnk
=WKvp
-----END PGP SIGNATURE-----