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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build13
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
 dca0743c379368d7bc7eda8e978fe345f569e79a 3272 coq-math-classes_8.19.0-1build13.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 c721ef2cabe1179e4cd842d88cb5b5c327d799a58cfb459674e4555cc691635d 3272 coq-math-classes_8.19.0-1build13.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 9607306c53fcacc421e0e84a7264f71e 3272 coq-math-classes_8.19.0-1build13.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1hEkACgkQ808JdE6f
XdklhxAAlAU/MM5kBmjmSw4byyvzWTP2mj+g6rz+7SXBpKD36EcIqNlo6a6JAl97
WfUdddTjHCwre64BcusSyzMAtEVATWnubRuvmQR2VaERRNmq4jJZzWIohC5SXfWP
VbRKdG9ltYhqXyWFYbK1W0dMRItSu1Mtm1n5PtFC/WQE0yBlRmv3Oigr/+DDEbae
8St7Voi5j+r4Npz8LmDHr5kUQJwZzwDxYcDHukvfpvBZF3ovwH6QKhrmfmC14Gob
5rt9gulNms1H5ybfQ6GnDr2jccP3HDtkpkmVgomT/f9Eqeoe12WnF+cU0Pmyd6as
TkkMMyLm3jgkc5tC3kG1JGeHJkBV476OGuVSKjbhAKO+AGlERYLvUkOwCiV5n+c3
NVY0e4HL0I6Xn1yVFaXuHHcsfK89WNyt2yHcNjIV4jng6v/57WQQgAobDIjVzrNu
QaB4AXcxIf7MRgaca9c1OGa5Uf8mqmrAkqRSI0evRrE7m/TvJn376ATll5tQTrct
Xody2HtZUmXHLkXwH1tIJZFZ6N8hMorFjaqcYQAqQilaCiosY5gABO8+BmCMKN3v
jF+3C+DMMoGbiMoIgXRhVHA5Y5Uc438gES66z2htokSY/RotJ9ofLu/xFf2jKflY
tSSkOp+qtMZT2J1qzPqLhVLydlUbnrBh9BJq3lDmkvmR68kOjmc=
=RleG
-----END PGP SIGNATURE-----