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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.18.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.6.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:
 13491b81242653877f105363119c77fbc737676f 169010 coq-math-classes_8.18.0.orig.tar.gz
 08e352a3a13b0e88ab90c71c2dd084753b36df0e 2916 coq-math-classes_8.18.0-1.debian.tar.xz
Checksums-Sha256:
 e8572538c7fdbcdf48ffff008230e4577134314118de317db3d2328a52374700 169010 coq-math-classes_8.18.0.orig.tar.gz
 c794302f26c42d3fdda4a113fa170e9afb0af98dcd78668a5c732e7e787d2a5c 2916 coq-math-classes_8.18.0-1.debian.tar.xz
Files:
 1261b1747d528eab8341c6bbf84a84d7 169010 coq-math-classes_8.18.0.orig.tar.gz
 3dcc06e5ebe940c6437d3234b35d4ef3 2916 coq-math-classes_8.18.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEY2QSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdykP/0GF7V+PTI1hrmACl2pdVtYvTlGgsp6y
BcGH/nwlLgmCYql0RjtNLFizLYhi/545wWANNya8LBgI56GxfDG45CapRBP5wBMg
E+0csbTppJ3BCf+ntNZToMaPMa/cPgrNDFRjJWta6ruF5THZFg1SghNleEh0Lsu/
F9+cSLgUWa6qugQr+Nq2+KKNq7xlTWiZNCEK1v8ctdiVva2ygI1xU7wxd72fDGTi
Vky3nypGnVlYt8iHvsjlkZSm275vuxovBcUysher9sGAH5gln1BjtNWTWVtrvLbb
F6M+XNu0O4/7N9kKLFkAgUxKVm2I7wvktNaRHKWPIS6K8N/Cyk5Qu/8YxRZimj05
tSx89dbPZQE/7SAe4Hk5t/c1sw0rg15DSAgJ2I4Nw5SvXvA6fCqNU2r3vWqSyXm6
lOxTFUjCeFyS/d3nuLq84Z1icBvg+uxPBju9drQpIVhErkL9wtfeI7BhHPEjRnB2
ucHteugS9Izh/96NnJSbnXVoPPNcsOiDH1s6lm21X2WqLXwfRhAPYmmOZACW0PZW
YbtxhkomZiG1LfhOhzqs/vLkrZK7OlIsOlBDggC5w3FrO5UnKRq+6qomt44Cw135
Q77WkwCCJfG3uDgUckgqAvnGp/KBhuxtatSaR3ro59oK8DWbDYx5ojiL65tBClvv
AJ0DaKlYs1QX
=aNGM
-----END PGP SIGNATURE-----