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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.15.0-3build3
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
 225ebcebade5445b668734fffc6aa20ddda11da5 2684 coq-math-classes_8.15.0-3build3.debian.tar.xz
Checksums-Sha256:
 3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d 167961 coq-math-classes_8.15.0.orig.tar.gz
 9fe588201d838af59d40911db86a1f2170e38a0eaa080da4ec9a5dd6b836eb71 2684 coq-math-classes_8.15.0-3build3.debian.tar.xz
Files:
 dba7c652edd1ea63203cdd33f97fddba 167961 coq-math-classes_8.15.0.orig.tar.gz
 50fb39f6a9b963ea1ef52c90a8c30f8d 2684 coq-math-classes_8.15.0-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOwGIYACgkQ808JdE6f
XdnQSBAAn88q96w5K74nvxoEO5wrR1tjuLJuFXaNfv76JdIuGnU87Yi5AxEPMWwd
B6Tc5eFaH/zbWdw+8Q+yhsgn6WGvnaQsLTfj0J8gCLCy2IribSggFyDdhJsQSOuA
5LFEwdJ/9sO3aOP+GtiOE9SF36e9AXj0gJrMGFw7x8IzghDuvw+rUSW/WNzGJCvq
jEBi9qOOHyGXyW/y/C55FQgYs7TRgA/17YAlGdFnw8F0RrovCYi5Ii1d60KcY5J9
pr4+JybzGE2nkrDanaYv0R0gW+q9UiB1gsPvzRH5EQg5D3d0EWXnDm6jv8n+m57b
t/y7BMLTncm2659NeIszIaOvr1GTmh3Lncdk4Spxc0QjGUs83VHDbZQbsS0S7sig
orzyeE2VLnJL+SSWqkM08/jc5Eg19DHg2nKXt7Pn9jxSsURepZ9cuZlIaLYfjFlP
frxWHYs+7rBKCDoLSETUmhoS3ESiWv6Q62oVKIqHE+KYhAz95sM26yw0K2BI0lTf
Naqfjb9cy3aQ+5G2/vnx9ytEIsLhHU6UHX5YDqi6lh3hTm6R/UO85NueDi69h5MJ
dMgjdaR65aO87085Rf5UHMdIOH+UDZ9pKUdN+5E2hcybulLVkcosZ8ucgvgaRjnd
Z7T0dKpL9Z4dSaVUnnzliKntSEfsWT+MGwz/ZkM9Zz3JcEDJvMA=
=qaHd
-----END PGP SIGNATURE-----