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

Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 8.17.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:
 06e87697c68b076a6f61c5e40c1a868fb27d745e 169003 coq-math-classes_8.17.0.orig.tar.gz
 184aa6904b577dbe2d0bfc71df9ea7ea02c99bbe 2672 coq-math-classes_8.17.0-1.debian.tar.xz
Checksums-Sha256:
 25b6b4520dd59f8a2b9f9667ee78f2134d6723e2f647cbc4098d7ec280dd8dde 169003 coq-math-classes_8.17.0.orig.tar.gz
 f299515078e8042ca3be6754d6e7c286debe3eaf255a74ffdd1c34968bac5c87 2672 coq-math-classes_8.17.0-1.debian.tar.xz
Files:
 20f3fbcea971077e98064b181e17565c 169003 coq-math-classes_8.17.0.orig.tar.gz
 81ea46e6115826f9c7b305cc0b080100 2672 coq-math-classes_8.17.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+b8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR7FUP/1/27UF03Kral3+w4IBXVwWnp1fLcxRI
VaVMLMkE9CTNLDDovodN6kLuSH4ch3vyLeUPRjsFgmcz+pYjcEtNvKpXRjYoi7Nf
hwgv5YGIbETN0qE9YDTAI0ITJBO3FJBdiQfKWqf8/BSemHZZ1+7tpoxjGM21W3XV
T0LN2HAB0Z3M0XEA9/xFfO+fcHVt61WQbGJQesKFRE1oRPAVRxm8uqEFpIffEBFN
TfRoTPVaVOzxsy/ZdQ/VWFrOlmFdUxjnJeAQaUGeVjgXOmEh0xVVOev6sOZDK3nc
A83SzQAZ3m7WqYTyVAtQ0yYwookLGWajzdq6JsVpl62ysiksA1lvBV8195cWnOfe
I0N8DpoqRy9usY+Sm49Td6yteMmmUnYqEp7ob1aCDQYMPpx7CZMw5T95OTHeksJh
pKdMKRfQJ1VKViyqhG8Qp/lghuj62moJVxRFOxeV6+Fw4k3Fxm95bT8uR3k25+PA
M5m2P0UMlrWaQdjAuaWwry9FmU1Gwl2nzYfLlGs38jcNMJa2mI2KC3ptYcseeSA0
oswfyxfDMtLYR91GpV997tXXHXUK4p3VXoyojVJZ1KLVgv/2mq1AIy/orEY/R9L1
qDDrWEIhKZ/3qV/ngBeM6ntaIHWvxHjwz767/YB/TdRb/iJeAO1bGPIbcNDsz+0t
pzyjjeZUTWIV
=TxBn
-----END PGP SIGNATURE-----