-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 19:25:33 +0100 Source: coq-math-classes Binary: libcoq-math-classes Architecture: source amd64 Version: 9.0.0-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-math-classes - Abstract interfaces for mathematical structures for Coq Changes: coq-math-classes (9.0.0-2) experimental; urgency=medium . * Strengthen depends on coq/rocq. Checksums-Sha1: 72070ce4e4665645e9508fda51c3277f1360517d 2176 coq-math-classes_9.0.0-2.dsc a2bd771211a057aadacda29d4f42225679835f8d 2964 coq-math-classes_9.0.0-2.debian.tar.xz aa28d968c7b13a464c554446a12fa50977141db6 6889 coq-math-classes_9.0.0-2_amd64.buildinfo 492fd3fee7557f44d33e03a3ae8989e2da843fc7 2889564 libcoq-math-classes_9.0.0-2_amd64.deb Checksums-Sha256: e124a1a9d58a334582a8374413321c6c0cc972ac8a0097f80fd8dc99908e382c 2176 coq-math-classes_9.0.0-2.dsc 4eaa38850c050cb524a0924c41403c6e8acddf808842b721274bd57243266e3c 2964 coq-math-classes_9.0.0-2.debian.tar.xz 59c8ec49026568859ac29cfafd28ab8b9ea8975427bcfea89ff706451c007300 6889 coq-math-classes_9.0.0-2_amd64.buildinfo 6fdd754e49267bc0ef0a775d45f7b658e4a0b0d4a570a5a91a625b0a5835922d 2889564 libcoq-math-classes_9.0.0-2_amd64.deb Files: c7276eb41c09cdd32919636a8eaf03c1 2176 ocaml optional coq-math-classes_9.0.0-2.dsc aad8f208c3f9a7182289db5231073980 2964 ocaml optional coq-math-classes_9.0.0-2.debian.tar.xz 63079dfaa9f879b19afd47fb14e78ba5 6889 ocaml optional coq-math-classes_9.0.0-2_amd64.buildinfo 5ddede9ca3a393ffc75fdc4859c281e7 2889564 ocaml optional libcoq-math-classes_9.0.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgJ8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQGwD/0a0xAwpHlD8oX92lLlbNMP fhVexEiP5Hc9fkONx9hkK/nve3l4FYGy/CCkf+T6ZECp3bAzMnhChrMYUOva9Do6 obg880Nwx/m3nKirxh7q2GAgIcz1m/qqGOH9wRDuMyXaJo/27sXU9+XLjrHtuiJm Eeov3InFtNy7eebpUejPI8eKTgFOvmIRSPImQGPwHsujfKZ1zw7uNz6Z5QhR8H8O 5u6Vv/I21HSgV7Qfj1h9UvCeKqK6y1WjhkwU6Iy7QSBQSLGPX0I9RiervEMA/83C LDC+6Gu1Qv4YawasqrkFTMuajH1XuMFxmJ5KRyLzBAjNtwCbh7+0VymxH4fxmABZ AoZ+YFoFAXmD0Sh4mTiZRfX12PEYKGXc1mL/do0dMaBH2uZ7vVLeeu3MFDH1ggKy apMtyuy71LaH5CsXufnf/ny1a2aVNIRt5BsDk+ZO+ZB26pbVqTUkbIojmklzg6ap ZpwWvV6++0P0Qy10Dmb1sisxd4jyCZhw78kLGfwb/Z82n6mN05NcDRYHv4dvPDuG CcTW+qQBRKWlfOB+sQyoOR/7qDBy6dOOmCVunjs22jz59NqeijTtdWUacWjksyp2 Am3iA/l2DRn4PYI5cpERNMRTng/7AfdnGCqj5Xv67gQvk8xUZc7E7ICPuyYfc6+1 OPQUXW2wxdhum6xyY5hJ+A== =tRjB -----END PGP SIGNATURE-----
