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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.15.0-3build1
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
 71ba92c2afa20f1ba766d85aed656a0556f76d2b 2664 coq-math-classes_8.15.0-3build1.debian.tar.xz
Checksums-Sha256:
 3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d 167961 coq-math-classes_8.15.0.orig.tar.gz
 901da5053d07c4de8747abd63b2e62a541de077560880ffb9673b3b4e67b8440 2664 coq-math-classes_8.15.0-3build1.debian.tar.xz
Files:
 dba7c652edd1ea63203cdd33f97fddba 167961 coq-math-classes_8.15.0.orig.tar.gz
 c4802edf25a3a7a9cc48fe632aa11d2b 2664 coq-math-classes_8.15.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBdgACgkQ808JdE6f
XdlvPw/9FEpkVsb+5kO5cZ0HFq27UkhKPlzRerPeZ8TH/F0OOZAcKVoLbtSVNozW
kKuMMtEco7rYFIXzd7vzlhtWTqXxkMSjb3X2NZwpYaNCVw0gCe/04exLBuV8MM2w
gGYoE6ry3ueOiPYr5DpGxodfsUmjs92yrGIQtg3Dv0mifPDZjn+xeuKy6h0/gpZ1
Prxzd7hpRzchJkJi5qKA/SWW1tyHX9DsLxEX0bVvFljg0vR13VJ3GtvSNRnUWXNH
TzC2TfrtRMq5fen+WqGXTRRZlvot92TmPhsXiGFs4fExf3/6UYbP1QAhytffd86h
kFDjd5/qc9dPbM4jT0Eyi+k00Xir0V7MftjVb5zmdp6ljt4ZKojRm0Ble7uwLWMH
dV8hbHk5p4za31FLsUR3YbYuTKl74sVZqRNYjFH1AS5iuBuAX7mZBvZ9O7G9b7la
g+0ZyGtM76bZQIS3029w1CIrSrskA7Q568ajQfcBAeSjx19T8n3BxQHuH7ZEsgoC
UHm7/dml2uaa9ePVUz2HMO9IfjLq1H5v6T++3c1YLroXuvtZxUgJpr/fW4WS3a2F
4ZGPbHid/9dEIh6TC2qNGBHtpaG+HfskUnHEZHxTwE3xpJDvUk1ZuAkyT9eSFLZu
GiEONaF6nXoJwGTtdHI7z+QwYD6j1BEr191Nn4tX5EOwj6M+gBA=
=qHBD
-----END PGP SIGNATURE-----