-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 28 Jul 2026 16:09:26 +0200 Source: coq-math-classes Binary: libcoq-math-classes Architecture: source amd64 Version: 9.2.0-1 Distribution: unstable 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.2.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 8e032829d458146931495e02c2fc58df0acfbada 2176 coq-math-classes_9.2.0-1.dsc c88ef1700e917829716cce69ded8e13b7caf29aa 169210 coq-math-classes_9.2.0.orig.tar.gz 01ad98c8af43e2702406d928b4cc54082a8b68ee 3040 coq-math-classes_9.2.0-1.debian.tar.xz 9b95a537ab77b5fbf03a3577e8ab4f65fac8ebe8 7000 coq-math-classes_9.2.0-1_amd64.buildinfo 1746b374957707fa02eee08535221d41177a0c99 2872832 libcoq-math-classes_9.2.0-1_amd64.deb Checksums-Sha256: cc5eee4c1ecc02e3d44cbf36d835305f986f35da9da1c01d0ffb6ac34483e9c8 2176 coq-math-classes_9.2.0-1.dsc f39853f10413b56fe17612d288d9456c540620110eaaf2b50b87d17f28534176 169210 coq-math-classes_9.2.0.orig.tar.gz d0a1c12cdc097131b1ad333f58b8b732d683e5df01f20b155ee28b6f41a1d30a 3040 coq-math-classes_9.2.0-1.debian.tar.xz d6e28752c1cb3fe034bea2a59d36b855b87e8051e1bb9b2a943b96ca13828271 7000 coq-math-classes_9.2.0-1_amd64.buildinfo 8186021d53b183e76db6d5a6f5072c6b0f147d1d940a138146519936e2cc031a 2872832 libcoq-math-classes_9.2.0-1_amd64.deb Files: 2330186c73a66e98973e1b7cf4905a7b 2176 ocaml optional coq-math-classes_9.2.0-1.dsc b9c8296a7117b2c077607b281d346e8b 169210 ocaml optional coq-math-classes_9.2.0.orig.tar.gz 9d688bb8c6605b1b9dcd8a7356316399 3040 ocaml optional coq-math-classes_9.2.0-1.debian.tar.xz 3776870b80273e819c07386365808e6f 7000 ocaml optional coq-math-classes_9.2.0-1_amd64.buildinfo d7c12bc153eab20a5c5fd4e796766b0c 2872832 ocaml optional libcoq-math-classes_9.2.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo17YZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSffEACmTCdTIm4/P8PDe7XsxsMW +zc0gkOC6daDruiOOw5TMyt/wQDNQ1yOV0J7yiwToFdlQJe0+KusiroeOBP+09o3 KXqF3K2jPJllr7yXQlGdDy2Px6CmrXdoDJZqmV47fEssFVHz+CkKE3ZRzCeztZan dvoEvdf9PbraWk2JuYcYvS8vSV3Ex5vIz935aI4cgkfGW4ET0iAMnN01KbAnhful QPYCDw5KBjyZ6UsqzL5IBUflO2ZpHqgYXCDiT3xwr6tccDo/Nj/MaAjt3lxl+XkP 2JRQXdA+4M6xn2xEf1Sr1XJa+rVCYusYOOVt0Cedqz17G3vI/YnRQm3pfMhfw3tL 7ceA9I/ExbpjQS/D+VG5vjS2QITvNeQzEaU9IHLjX9LbI/I+1fMVcawhYgXFoFmx 8hQ+NEQErkBCCt1hi4GvPweJW19cDNlpjU1Uah4mNQLfJgs02E1WA9wG2VvZ2eQO +lKGrsydbbnmUkzvJ+t/q/EBvJotRdLQD5VcXV1L4tZeKgQ+lD0Cd0TtSIyqkWnP W5EjSx+S8przz9GW/EvT5jwmH0ShmWXEEQzf3KBVgN96my/8o320Z4Uzp8KJmU+x Vas02V+ELQT4Po2Gs6UmSnlinfep3LRfqepPqNZnC4tnBcCbn62WvjJ0ObtAwmnY q3/H8DQecnaroHGfg2JoUA== =WAAL -----END PGP SIGNATURE-----
