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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build9
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
 aaccd235d4a7ba02ee382af257a013b2b338ada9 3208 coq-math-classes_8.19.0-1build9.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 8c93d76dab5beaa63e895680d481bddf0e2385a96298e500f669e0b03eb5a25a 3208 coq-math-classes_8.19.0-1build9.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 bb8fc8bf52ea9206b68a0c27508baf7e 3208 coq-math-classes_8.19.0-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc+m4oACgkQ5mx3Wuv+
bH0dsg/+KuFigV5cPvCIyGmEBHQSih+PP6lyF6kbLuLmioWQvyU4mFkSUjmkFgSp
Jq1XS9n5/XmYkBECKBPcCdIiyyyakyN3xwI9aF6NPaXQ0quwnYfh524ybfa5e5aK
0QNAG5q1LKuYOF0qGfEVdPr1qDb2cgEqVyCSBbn5Nv4tkm4J6YgJKZAkbc4ZzV0u
ARdvmtEC/pD5b3hL9ddqD+BJRgLPqDg4x4MVEeqkMDSdUOdO3+GBEfND2I4fJu4Y
AdsqoZ1UWqALsrhsSS/kTQb1tbiIzYbpuzigAECaGk8/a9oCpsF4a6djjuj7BIRt
y9FFLsZzQkOfBE0EGUoGUp4CB/8Uwhw12DRUl3tFNtlfusB8MWDa8nM7SJcCuL3d
trecCuHZdoDONyyLY43bZSgcdH3i0Nuy4A3wMgtbUGcEEvxiNOWfOiKTWzlJrKZP
EAFMLtYQ9QJvQ/D3JT/ywg1QjH9YJcUNAHeniafH654jjRRkfPBOKhq/BDjtwKUl
ZrxiAc2bZzHP0l4axRGFQsHNt+cwyIbeambGCqACWwYLWM2Fz5mc+9dI1DGf1tQw
NggHv8r1hD30eq/VXY96u1LV6qmO7MGXQaZ9vOikBDSEFuKI0hnttQ4uDIf4kWiM
qjOIne5AHNnVbsMZAlzxQKTr9gNDFJm7PcPStpPBlHli5CbTots=
=5K1k
-----END PGP SIGNATURE-----