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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 9.2.0-1build2
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
 f3f751ed72ad480e0ec45c58847650cd5dc9b66d 3132 coq-math-classes_9.2.0-1build2.debian.tar.xz
Checksums-Sha256:
 f39853f10413b56fe17612d288d9456c540620110eaaf2b50b87d17f28534176 169210 coq-math-classes_9.2.0.orig.tar.gz
 29645e2370a400bfaf0db9a8d27b37c9e09c49cf9890b2016084ce81e1f6be30 3132 coq-math-classes_9.2.0-1build2.debian.tar.xz
Files:
 b9c8296a7117b2c077607b281d346e8b 169210 coq-math-classes_9.2.0.orig.tar.gz
 cdb1431374883a43df4c2f55ecab82e2 3132 coq-math-classes_9.2.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiU8YACgkQ808JdE6f
XdlDLg//ROgL+o/FkopV1vFlWGgLO42a9MtJgd+vuzGWARZh5ADmMrM6yfMAouoU
07SyIgYzkV5Zmyw2BVp0dx3LWga26cGrlGk8I8/5sXqbfmrvAKlFJgWpQzc0waEL
rodHe0s84j1BGU5NAzQRigoxrjRYW5Jki5F/rlKkprofy064tdZPu7BSmxhJZ5Cd
f/7gWdGWkqHj2g1yAtxQrOw/DTioBGSV1UQ93voQbvmHcrNFxW4Xi0jvsnGpXg+W
eJS42KO0TLJYbGcjiGbw2xpbOEzTfeeCOs7iB5hF2E5rX48/txaGk4tG/vjoyfUT
7vHeWom+W5uPkbsHALQfwSDaoFE86Syz16/USQyNdLNBXuIStjGMtKUs1ndBO/Uz
xq4KpClnKaFks6WuATbKAxh+UOhBRfSzk73v/Xd925QeQkc3Zj/dQwEdqxhHDrt5
mULbzII3oN8iY8SgQvgb85K0UOJ3xQ2TwYLBrNQs24lWy339F1JIeB9CY8MuI6d8
AnfDVk0OTS7dvG9RRgxPnBp3mwgO77FBK1j215+I0g9In3z9WFqESxQIuLlNZTw7
jmt7sOB+iYYM5C9drjtiNXtoE1nnExdxDRxfHQBc0NP3nKgsff9wsZ64JFWYAdEv
78HtK6rQyWe5hSf+oRoe27lSZuaU6tH/WbvYIuv8lcaC8frxI3s=
=+EqO
-----END PGP SIGNATURE-----