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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 9.0.0-1
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.2
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:
 7f3664d090a16ce60292e3e9d1f49ee4caa1bd02 169022 coq-math-classes_9.0.0.orig.tar.gz
 934a38494328e19259463e513a66a9c57cbd4b2c 2924 coq-math-classes_9.0.0-1.debian.tar.xz
Checksums-Sha256:
 8316c8ed38c9f8b444c3ab974172dca10d959983fddc272018323a461fa176f9 169022 coq-math-classes_9.0.0.orig.tar.gz
 5211a00b97d43d44a9a2edc5caa8498bff6c76762afc54562d96ecd5ce3794ba 2924 coq-math-classes_9.0.0-1.debian.tar.xz
Files:
 aa474daff8105a682b28cf5c6f5ce767 169022 coq-math-classes_9.0.0.orig.tar.gz
 c6c98761530cca84667ac9f133e8df9c 2924 coq-math-classes_9.0.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB2yoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWjrD/423zOn3K0uAUKhym7HK9VX
8URi0nCYedhxtMvKZu9WV9m3bXtEmrksNv39ZOP+Gbx6jLtDk4bAcxMQha+axYwb
stu6TM55V0XkvaeCK4KHy11agzZHs9MKt2QV6BZbbAJeNfGFQB06rTADcptz/WIB
5nRXQXd5sSj3O53hSS4kzGz0q+Pqqs6Ch6MJvyzqP8MZoyrGiSzkgpW17zyDTaoF
Mj5mlhcR5xj7zaDB6k/j3rz3oKidK6h83my+HVNI2OWBhYCLOS1S+cSS0AX8v/xs
JTu06uwXatPqKj2Yf3wMf3kSqmnGvZHJI8xn0pmAgmpvNxCFKOh/L2HzkS96b+X4
0cSED/xDRBlULeEiICLJR+zu7ulC7uNOCvNY+g29nYKmUb0Qm5JOW+1VqGkN817G
w8N1QZGk0Fy0T77GiZZpXPc88MhPd5AZ1iO5HH5s5G878cvTUgCyIt7Z7UZ4gVDJ
LiSdzF+uBTmM8AY9MJwVUT3Dg+m0Uro/JeZ+5wVgFJs+lYfNza3tEjp+G22v45Rl
9WfJgL+ieHLX3pee1XVCcvAbe4WEUr67ND39ntHctv9GdOq1izRHbw07vnupaKUF
QmNBCm7Sp0Lr1yiGv7zFPj7yuH1w/RrNquDJSZndJYJb1TydAotxGYkPy9VzliXg
wGw1IvNnOKkkNi0f6dmqfg==
=+KGR
-----END PGP SIGNATURE-----