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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build10
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
 470a1274d0a3ae5d6ef59a099296bb852ad10edf 3228 coq-math-classes_8.19.0-1build10.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 305b28278e9b8a828f3a75240f294e43bc5447d100199172ac288884cd5a3133 3228 coq-math-classes_8.19.0-1build10.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 7eb68825bb3676141dfe463b6452a9ac 3228 coq-math-classes_8.19.0-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeeyMgACgkQ5mx3Wuv+
bH22dxAAv7Zg/VZp9F40Ym872L61/0H89mbeIxkFuT0aD1XWBYGATHbHCn5m76QM
cn+c/sUatwum/ngrKeDXn5YJyja82xESPkH6CQVXm7deQuq1CD81XPD3oQUhnQOj
kVhS4ccIECrKlIlXKyW63CgvjW8r48J8KTRhboRpYMUmFmvtwri/kvji63x3Iy4y
vVDlb0XRsLfG103mT1f7r9h7wHyBoPtl8HIX1YjK7373FwJf7XdMgztN5V6ycmkJ
8lqncsmkYY3JUHK7T0GTCkyRiDj7yTQAT1EWolvIjn/91GaYZrFxtrNudQDjoJB6
xM9+eUIzm2BWMk1Rjm4RMtZSwUsutjYuZueZdQirngeoS2GyvXsuXJzwEeK1A5YM
6hxB1npptcJXxYbR5YfSYiwIZX7aqpfCPvNmewDGO8YyiZ6MqMIf6HevbLhCsppa
TF68/WcuxyVjiC1cZL1GsumSKiyOgYPJiqwdb4sZYg87GUyoEk6mfmgLbK8VGLv/
ZyH8CxERzqt2lAECGZYVgXQvVbh7vOEP3jVTi1QtFcXrRhjwFmja4YGlae7Tmw3/
z6uXwWhv5bpxT1B12jpQQ+KkOwbJqVmiuVrgr2gXO0kI7wBp8q1ZxHdsW8yi6XDz
vSf+9YcS31DQj+CqUivOTX6N+LHOWgfoCl4g3zbhvY20s0Mt0Mk=
=yxiw
-----END PGP SIGNATURE-----