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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build8
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.0
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:
 39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-math-classes_8.19.0.orig.tar.gz
 3493440c86307ee8547de50b9d77ebddab382efe 3180 coq-math-classes_8.19.0-1build8.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 d89666db02bd6d87362f40c4e0b597e2a71694efcad1e3417b0b75b1472d8bcd 3180 coq-math-classes_8.19.0-1build8.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 7f6b471b7f80c300c87117699e1b7f41 3180 coq-math-classes_8.19.0-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbci0wACgkQLIPbyOm9
DjeGZA//eD/Gfk0B1wZ2WCV5fA7m+KYTlm6CjwcB81UiPr+l0+kq07cSrT1QRWUL
XyOQDDJaJg2i9ONvX0/phuFfu4bJdGEMlsy7gLVcptiXGGpNAHD6CLMuZCT8LJmw
aR6NWr7jx2xiYmuGolvgR5BhG0zNbqb4QjhoN1PsZOcr4eo2QEDrzDtInKRln1qS
Zf3md+iuXX/QK/rPlOdU/3lwCq16loFNuJvNI5bAaGym89GS6l0o5LsJQZcXSrw6
Y7HEGBBjcdyOIPBcKLE/gL4nn7FjUabazIEoT3slyr5WrHg66AOiHcdUV7GOVQh8
aCR8IjvxglE6FHaMbD0d2myk86GThwRQotU62rTX4lHRIoKcL2K+y6O8yPwIa7Pq
NqjO8AvurvT8nagF5PtkFcpf28LvHtN9kEcqkoOAiRNozMNveUSwMods+GXap3Tp
M9/24E2fkpHPKJ68DfNcHeRFPfDEIRPSIMFURGuH3XdsVGcnx1ivqhRVshoX6kgO
2A2Lx4v5LKJh6DIkcFhfUPneqNqyGdYVtTZ7fP/B/+7Dnywj4tm4IpKMeKY8K6/0
cJsMXqLk5GcGoDCro6kC8w8c8fIrSmydfA0YULJSXkFz00q6j7Bn4G/YcDMbH10K
6hAGOta9fDhf2SOlnuANB336Df6TA09M9NSzRrbhVjXLqTS5dJA=
=eTrf
-----END PGP SIGNATURE-----