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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 9.2.0-1
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.7.4
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 (>= 9), 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:
 c88ef1700e917829716cce69ded8e13b7caf29aa 169210 coq-math-classes_9.2.0.orig.tar.gz
 01ad98c8af43e2702406d928b4cc54082a8b68ee 3040 coq-math-classes_9.2.0-1.debian.tar.xz
Checksums-Sha256:
 f39853f10413b56fe17612d288d9456c540620110eaaf2b50b87d17f28534176 169210 coq-math-classes_9.2.0.orig.tar.gz
 d0a1c12cdc097131b1ad333f58b8b732d683e5df01f20b155ee28b6f41a1d30a 3040 coq-math-classes_9.2.0-1.debian.tar.xz
Files:
 b9c8296a7117b2c077607b281d346e8b 169210 coq-math-classes_9.2.0.orig.tar.gz
 9d688bb8c6605b1b9dcd8a7356316399 3040 coq-math-classes_9.2.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo17UZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWazD/9qvaj30mkNxVnEaP3/hs0q
XGd1OpdMNhHr2whLaH+vPU2k8w2NFhL31sSKVV83EucevEQcCXJ9SZ6gco/DvLhM
dXPZkRyGAuWUcuRhwEY2gklWI+TOjZnw17SHxRUwmkKUC7srTLG7uxjvzaekQYQt
O36UVga5TFBbhkUmXc2tKsvXQgWsKDBqKdtOg6pkvdKMDJaYr1+zPQbwU6CpZBQF
bM3h28b/OC37qHrgmIFYJSfATPwCubkC0K0m1RwqPdMV8JEnapCsZvZHdltJ8YUP
ir0ZsEnJn/IS5FYKA2p8uqUwjkPjyJQIQ3EYs+0c8eueITsvvwk4NOdKbAolj7AZ
tNFMUyevvF76g27cXe3RDjypUxCwYXZxN78C8caUJRFpXu2LFwqZP6oeWOrXNp+o
dLkSgUsXsUvqUKmstC/cOCd+ZZbrtzAwOlEguLWnAHdw3KJevyqRjE60fIBkjaLY
VR3EJwSeR98862+oCULB3IRh6Ny8RQA+zQbSKsCdtv0fabIJRy27QejkKImPTfq3
Ld0jrNDTIDxlyIe2anFac032CwGWHCteqTbwtkF/mvjisnhYcIy1CRtlyJtVvx63
hfWWYmZpP9Bx7zNcYxUteGIvtQAvu+S3S0G+tNw9fLJrSKHE7cLZBGH8Nog2ulsH
GNkmRWPHZyG38ie75aYWhA==
=ugM1
-----END PGP SIGNATURE-----