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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build14
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
 70320396b70a41681ae6d1902aadbc3bf667257b 3288 coq-math-classes_8.19.0-1build14.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 12fdb64364c496a7413bf84bb877c1adacfb102d53598ef14545dfb12c56f715 3288 coq-math-classes_8.19.0-1build14.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 b553cac42d0bdfceb935cf931c6b81ec 3288 coq-math-classes_8.19.0-1build14.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRkUACgkQ808JdE6f
XdnnMg//RpsmtAQN2HP204+retVElPddRoOk0PpEC6d0VeYutnrISkGcqQkkyZwR
8HTHNE5NpUcAVGr1W7ocG6N/hsZuxmChWoXntGLNS7l9hWnt2VH6WgEWiAbFkvQt
z4SWZhZWQXLwLjvfZ7aifQsibDhuEtS5vRUCgxQwPEYXu+bJbB3/RyRq9Mmovlvr
8gIy86cEhBgNbaOWupix/cb4Uthbk0xB3YIknV1d4A3jaZzIsJg7gTZ+7glskjZv
K7Ao1uC25jJTSCisme24sZ624dw1JinWNjYt9vfSk7VzSdAGB38F5ZumhXv34jrZ
fod0MmavEKV6ulvuCymUesQBGBFhxRDPWr4VA8JqCEF/U52/t01bskM6+N+vA8Fm
BvkLW1FYfLFp2A5qb4xUTLpK93GfiAVpbJy1pIQbOt6Pa9KDPTurv3u0exQDXLdH
1gCLDhovdnTK2jRTMY/ucxITBktp++iNHqLxpWZrjknsxXsVc10HQDPk9vz3UST6
JE3H0qN7op/gcDadJ+O8SkEVwDAzcCCRWbUV1YinnEF7hW9Pd8qR3k2cdsEzqzPj
jVrLMhayGPmcOOWkCA8c9zkFYrU6YHPc5vFi47SUzL+msJfyXWPI4pOgq2kkfPDB
QE26q/FnToKU1+ilETwX6NWs2jKGMGFX7KASMInPoV2MpiBOwO0=
=pi5X
-----END PGP SIGNATURE-----