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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build15
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
 e2eee9633a84ee705f4b47dcf4eac3e5f5004b0e 3340 coq-math-classes_8.19.0-1build15.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 6f8fa9b122ad17036e35e3cb2eec7c48b577f0c251771b01913462c73e822ed1 3340 coq-math-classes_8.19.0-1build15.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 9d373b7aed77d3fb05c616bacc0f10f7 3340 coq-math-classes_8.19.0-1build15.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9pgACgkQ808JdE6f
XdmxqhAA1r8oGXtlUXOeSqPTh5dsxBOb27Ndt0el+QWGCh+AuwDmXGcurZeoHWGG
0ij6d9fCJasajadanyXpfbopeFsiPqcS+/Ixnr4fQjI9oA9wQObqEj4yNkBCW/ZW
Ey+MldtcQX7O/DrBQZsa690jCGrEq1ID04+A5FojpInNHZDxKr0YPdgd6v5BV6T+
QFkYsPuElbfc3sbmZAaPzR7yiuSfT9qmTxtAamsw6BwT5sYG9kZ3eHVf2fif1X/b
rplNyZ64EzLuMtI/Zf3VdjYH+r3j6to0fordw/Mp8n15i36rnZx+20/wqbdHF6Xz
RkcHHpGoCkwIH/E+4z5xoLQjfbuD3ZAUo5Emd69RC6b6VnLYUmsE+hqQGh1rJM8q
ygnCmWL/I8E29ZzpGdtmozeArFLKDhqoeZXKk9QuW3w2D9rfcGSZ2KojA9AdoNyS
LuDXVY7qY8FzdYCU/eqkaecqwbg9og2NOEq3+bmIPYKPGCHwARmjbkBhRvc3/p+Q
lxXR8fJsyWgcShYjLGeSkVCEiOPTvPOcGFLdyo4Gl6tinc/9V6j32UkpCFKgjQh3
iAtirx+nR0YP3GLv1BFUUG2ka7nMdVTrj3XeUTYFGu4oYB+vyEEZSd/lnDzQxVKr
IYsnIDU+TPuiv6H6IQgh29h/XntI/y5Ja9PZjo99UnthfTNYu6w=
=PpwJ
-----END PGP SIGNATURE-----