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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.19.0-1build17
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
 1aa8991638469c97c3979b1ea5b3f4c5214c0999 3408 coq-math-classes_8.19.0-1build17.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 a910c7907a9b5c8f888f0a22fab854d31de7c57cdb9eade9273920fdc4208321 3408 coq-math-classes_8.19.0-1build17.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-math-classes_8.19.0.orig.tar.gz
 c6058c65b00f7962799928d61890a95d 3408 coq-math-classes_8.19.0-1build17.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmoS90ACgkQWWH9vpxh
mAmx5RAAmW9Ae9KgekfPVesOYmjVlZE1ljVf+aaHMMD0IrOWqZx5u2aB6S6RJ5or
cG0b4sWpEXwfj7yuwy9cxePzgrj3ttaE03KaHcNq0EUHC5e7kyl4YHRh/81NcM07
IPorP/lGgjIV6R/oV6IDV9fyu3M8Olr9BcSxXqBJqWnzfsjzKW9uZ/KSpMmIS65L
dvD/zV3e3Rs+M55KNBeqAud79RrHOQ7YMkbwZcDIXMicorwTkGfArUZDq9OGXRcA
DH0sMfZsLBalNlqS5j7cBgFN52MBt+eOR/Ly+S5hHfpTYDJ1Y8puoxptqCrHQ9BG
rlZVgwJ4Cq/+FGaQC3hhlt/SHCfwwadIB6lQBWyWpxXEKyYghnQXtQxIevETMssO
ugHLz1ot4UMzFWytEY9U1xwjOQOoc1dl06cQ9CiFeZoGPBQ7mHrRlFL5T8joJMVD
t0so0KFoD5+WrO3A1I2cvIE+b/JsYyN+SOHbw3MDjNJIzzaSAdgY4IJO02/9nsyG
x3bWLz+1SCcE0nDk9O03DyhAVDoPR54eu2WyXd5/8xFoLbnxFGVGKBQtBHwAcxro
GzZ0VrEV7J/Lt8nBpglzGeF8tScWXVUGhTwNBPozkgj5fu7WzFYP6PG5h8QerinX
tMn5Pl7SiAOSo+Nszg2kOZXDjIi7xE0QVCKryZ+UWEEM3f90o/A=
=KqLS
-----END PGP SIGNATURE-----