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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.15.0-3build2
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.6.1
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-ocaml-dev, libcoq-bignums, libcoq-stdlib
Package-List:
 libcoq-math-classes deb ocaml optional arch=any
Checksums-Sha1:
 76cf277c78fd48280e515ca0a942d2261e58092b 167961 coq-math-classes_8.15.0.orig.tar.gz
 749338e94d020364899bb96e3f48dea20b35523a 2672 coq-math-classes_8.15.0-3build2.debian.tar.xz
Checksums-Sha256:
 3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d 167961 coq-math-classes_8.15.0.orig.tar.gz
 9b2413b75bf81ec10dd797ba4642ad3d63bd74eb7ecfd49a439bdb2b8b8d5cbf 2672 coq-math-classes_8.15.0-3build2.debian.tar.xz
Files:
 dba7c652edd1ea63203cdd33f97fddba 167961 coq-math-classes_8.15.0.orig.tar.gz
 7ee9204e2869451ee8d4e18039253aba 2672 coq-math-classes_8.15.0-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLOXUACgkQ808JdE6f
Xdm5vg/+KND2g9LhC2G5TbHAzrfHAFsnWji+NX0RAgJwKgwiN11COepIy8+j5IN6
8xtBXBUUu7K/hN4LgPW9raWzrsbmSLZfN4eytaqcqKka5/xlPA89DQE+zVImokGv
4POUfRJmuD1vAyd4dGSuWfRsUmP0EBvnNPOvbmzZ9jmH+qhly96DZgCYUHtGEQt7
jCw5YzfuA7IyGdywC7I9zu3+vKbXnaf0pxjJJ6MSZ9najOlTJpnmR7ZKG9zuvdhV
UIjNob2FJp8/t4rtdVSpMd9CgI/0mMcKTgghkLVR3vMvYTpGn6O4unlycWq5ZThJ
lTZMAMUraBTm4XK4z+X27q810vz60qrbhyLotyB+rtRMVVO3h4t0TQTaq3jRzv44
RxPXW3QaHSR9ilgVuM+AVEPYGI6fzUDIyhTQTWwXcdisPEISFP45iykl4IeTmBuW
MsAfZog+6QXhnZCDjMVyDanorKzJryv3PvnlcBgkXbTTKNTNVD1Vb870byEVLs31
ve8LkNxbOgMj99KaA1YjGTUJ4SiWbLaxz7ORqu4RIRMGzHI9qloFpvowH/EpdaaO
9348O4BG83/sV7BiUt2Eu9EpTySyJ9NChlgv/BaL2vOvdk28CjLXpDyod+Lo2qX3
EL6haq5xMg+ZHeOKeI152K4262H8OvmVBBPr+/KIfpwxnK+0WVc=
=Dy79
-----END PGP SIGNATURE-----