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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.15.0-3
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
 92034a319131f0bdda897e7c9a7fbcae0e2fcb80 2576 coq-math-classes_8.15.0-3.debian.tar.xz
Checksums-Sha256:
 3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d 167961 coq-math-classes_8.15.0.orig.tar.gz
 39b36037108b12ff6caf03166a3f867ae559235b441ff11b4b4b51f4f39b1f37 2576 coq-math-classes_8.15.0-3.debian.tar.xz
Files:
 dba7c652edd1ea63203cdd33f97fddba 167961 coq-math-classes_8.15.0.orig.tar.gz
 ed558af23c0c021dcd2f1a7903e7d640 2576 coq-math-classes_8.15.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSkYYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRWKUQAJ8MBg/oqRGdep+wPToFw8Kya46EwP7S
N4HbVarW0XtX7k1fUZ2XWPR9Hrrl4SMXycyldUg5IHwkIcTEhUSqK6fK+Ml/UXHq
25o8zI6bdbttmNaHZPfVFR+oSY4sLpqs/ZXsaQN9t3wuD1ppggpZsB/0YrPkIeMF
q4p/o8w55s37a0AocisCEbFodhpVNuhV5kA2CsvT9daPnzWPsS629sENjvpndlgN
xtV5JqHz6y+dn0Kqr/7R9WpVZ5RmraPvBYRkpzuZ3CjKsI5teAQp3gPyjurFCCQa
O4cAKMYFzh9Zq2OaKrsWLdxEu+sEzXFM5ykkpb/Kv8HFSDU93m/lp9vBe0rFvJKq
6vzmL/v5BTmvvVHagfJBckclx0wMfUgp/qXCt/KWr1fo+nFiG2sI579RAylyBnOS
4IOBjomJuxmsShpAyj1rS1po2sN0L+XiDIUfBmsyP9F5k8Vsg4+e2eOb9pOeGtAs
EtoWCHvqmmmPW8PXKL6lljP7grzoq6C6Be52t5G76qeZAmMi9wVR/vH/u7MgXnVW
6F/WvCvGPXjdCf7dThVzJ5uRSbAgGrA6A7htBvkUMFlYeH0j5X9hxP7SjPN6CPwY
DfqmqOyCg2YXTTv1Bm6MaWLJa02eGwKlED12EglK5htDI5PaCOKqPOCnOUG6v/Zt
62Y9tSkjzDr4
=7mF8
-----END PGP SIGNATURE-----