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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 9.2.0-1build3
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.4
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 (>= 9), 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:
 c88ef1700e917829716cce69ded8e13b7caf29aa 169210 coq-math-classes_9.2.0.orig.tar.gz
 5b3196e59c583bcc0110d2899e63fdef0d1f2f54 3176 coq-math-classes_9.2.0-1build3.debian.tar.xz
Checksums-Sha256:
 f39853f10413b56fe17612d288d9456c540620110eaaf2b50b87d17f28534176 169210 coq-math-classes_9.2.0.orig.tar.gz
 4a6d88ace2db8bd2951773a58c4e82c374299bdb62aa4e7a6a1666063460fa23 3176 coq-math-classes_9.2.0-1build3.debian.tar.xz
Files:
 b9c8296a7117b2c077607b281d346e8b 169210 coq-math-classes_9.2.0.orig.tar.gz
 1afa8daefdb46cc476fb597e1267da64 3176 coq-math-classes_9.2.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtYXAACgkQLIPbyOm9
Djduiw/9FROxmY4BreVZa7rk0MjGQqK1KP4Qg4kTP+yziSwH517vIkvf3OuY6pPg
Tnn2CBDsUQT8PsAPl2EC4VVeFlljZOHn8atL2aXlYhaM6nffwSXixJW/V02NBldH
laqV5qZR4zUXvqORnDMvccM54hnn1f1L3gRqzL5/AKxlzh0yMaB+6z9q20Xr/Mmk
fJx5w7NbZAs+1DObEl38gDF3PiE9NHLlLqx/csSAA+CDOsRomDeXBhwdJ3/C/GiF
j2Z2akJXHfW2L2TYVL0auLRBmh49JjYUsHOHcVIeicjFrGwpoImeb9GyMd9t+IJh
lqu+gyGGsyxbSOBqMe5tgO0vmKfFs+o8eWSowE8+Otlc2/cYpDWUavrw1cgUiEY5
GQtf0TtRv/9ujslhWlcfvGKBOSMXKAJa1du31iMVeDG1tHQ6gw13BZQugFGpUjma
JNDR1UrxjRocqJv8Chw4ooOjZArbLHFchWTkXazJpvgdL/ERO9pF3GHgFmSt5L9R
NaU6g+kGGDCghZCu7nVTj8q3/E2xMsSm0uaUszrUqw0SDdBq9ceQQsKRbs7hkCI7
sxfJHHpmD9GLCDI26Y7MLfBV2+QnJVfja7g0LQf8PRJuQ3wRuGLkNa8ui8vECcLK
r/p5S20esEdHrNZtv47qlQHamRZEIOVa17AO2smEwP5GwtoNCRE=
=1DKf
-----END PGP SIGNATURE-----