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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 9.0.0-2
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 (>= 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:
 7f3664d090a16ce60292e3e9d1f49ee4caa1bd02 169022 coq-math-classes_9.0.0.orig.tar.gz
 a2bd771211a057aadacda29d4f42225679835f8d 2964 coq-math-classes_9.0.0-2.debian.tar.xz
Checksums-Sha256:
 8316c8ed38c9f8b444c3ab974172dca10d959983fddc272018323a461fa176f9 169022 coq-math-classes_9.0.0.orig.tar.gz
 4eaa38850c050cb524a0924c41403c6e8acddf808842b721274bd57243266e3c 2964 coq-math-classes_9.0.0-2.debian.tar.xz
Files:
 aa474daff8105a682b28cf5c6f5ce767 169022 coq-math-classes_9.0.0.orig.tar.gz
 aad8f208c3f9a7182289db5231073980 2964 coq-math-classes_9.0.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgJ8ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWBKEACCSPh9VNNA+YB6pXC7lqIa
unT4RX5cKU0A3fMlHwyCdvQW8N4GOB4BTTKthape4i7umayPr3qTtQb63EScibN8
MFekrvpAxTeYfEgeBl0GsPZuYr4mouyxgcRquEx9MWY1pojji3v29kA3T/p0do6U
eOhlGvs0JEncpB/DZYckHAueqndI8lsFyJIR1/7RVaYRn+3UTc0rjjGuxuy1Yu/9
KnB464Tv/wlyUoYUbWZ55JB8/AMi5DZAJNU0MJJusrGlKqSOD62zWgTpol4vBVUv
octsDyuyrzf6uvPEicT7oMxiph/R1KdT8OM9/psEAIk+PfZDVYfAIt+xQmSVre+v
U8nFoP8+PfwutLEDC1VKpDTtoWtcT4T70BRbpsdfal3slyPGVlbQP+t7lObtiDvb
hCOCfBtvMjcUCd+AEorjo8dikt54LeQs+9vfSL3dgrdJ2yVzbK1ZX1gV4nIx/jWE
e04IB+RC5SWIi+bBPsVlKM/ReN8JM/5BzwsUPn4Qt3rYS/SyvhqFeGsfJBDgSAaG
QUlbQzIRW+uYEc/Yl7rAsPLVRW/tWzXbqKksga7Gh6A0FjNNrn/F4VLha5P5pHjC
SfFoaTNdNhzPWAg5ozKGBN9oo+lXBWuWeNDtUMW9oQ0oacaR2pB2x2moABH6jYTL
oqqt/CTl4Yr1MWogWQ25/Q==
=40NH
-----END PGP SIGNATURE-----