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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.15.0-4build3
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-core-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
 c1438f8be2cbc0222bd5e1242752d6e4ad8dcb2e 2728 coq-math-classes_8.15.0-4build3.debian.tar.xz
Checksums-Sha256:
 3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d 167961 coq-math-classes_8.15.0.orig.tar.gz
 bb4d58c864af7fb28985e2e0f82d9f4d169fe7b21a2795506f02e46d3f8fb082 2728 coq-math-classes_8.15.0-4build3.debian.tar.xz
Files:
 dba7c652edd1ea63203cdd33f97fddba 167961 coq-math-classes_8.15.0.orig.tar.gz
 9e7c9abc615c5d7ec753fb0fd1e1129a 2728 coq-math-classes_8.15.0-4build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILHQACgkQ808JdE6f
XdnMzQ//YZaFVKuS7+c4yX8j+Li2dCXpV2Ajt4mDet4LEv7jNe6Y+ma/OTDn0Uqd
0sZd3CaVZVHiIo7tm002ixByuYYkLSz+kLRj7mnR7r0VAxZezc5ccyNpGwI5miX8
U2+pvNe6OgzMF3qJm0HFD9PkADb/8LYBmi2OdLVCkB9htJsMr2jWMSy50XbQUQCQ
XRe8fIMmvDwux+8CzwefDtOAd/h/F3pJTDvcNAhTHEKpZquyzKHQoQ6EmUHkS6wb
RN5CQm/Frv4nBeuYVsbFoKozOJhkQ17pJuk6Amf1rCsWNcYfFcRuWiMDVMT0g+hi
ciMq8Osuqcm5glllxn5yR4JCIl2LOoGCVhLeAJDlO3MiVqSMoGdfg7vY6p2pBvJg
EkIjeKzCQuIrEtTsu2oAk+gnQx6PjCj0V7YXyFEQREUTxAv8XYGymsprYZIOEdID
ZmJnp8GDrLbthm+GgPaTXPc56alGWIowHqinh+wk9mB6KpDNgrP2IUx6Jtaif3jo
lu15Mk9geNWcMmcVFigm0eyUgIwQYicpFn6qo+uYo8e2X+I2dyZALg+NaOnIOOgj
KXEY5JH9jIDJpuVlTTGf7bipdDE6iDKlFc/eeym8FUgNF0BTFvCZgYE2LrCu2sIX
RfblPM01dRwa81ZVAfj4d5FEW0L7hB/NZqk42y0zRPCMRXxjlgM=
=23qt
-----END PGP SIGNATURE-----