-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 18:05:27 +0200 Source: coq-math-classes Binary: libcoq-math-classes Architecture: source amd64 Version: 9.0.0-3 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-math-classes - Abstract interfaces for mathematical structures for Coq Changes: coq-math-classes (9.0.0-3) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * Add patch for Coq/Rocq 9.2. Checksums-Sha1: 23ca64350aa4fc9ca6fda354942dc8af27ee72df 2176 coq-math-classes_9.0.0-3.dsc a692df6a28852057c2572e4b93acbdba84ef105b 5632 coq-math-classes_9.0.0-3.debian.tar.xz 564ecef513ebc90cdb49891df2bbc11ec3c3f049 7485 coq-math-classes_9.0.0-3_amd64.buildinfo f5ac168aeed4d458042131b71876281ddc0d0c5d 2873388 libcoq-math-classes_9.0.0-3_amd64.deb Checksums-Sha256: dc78093a500ca70861b75efa1b5cb7e6ab76ac58666242b198c00c6cb3d83fe5 2176 coq-math-classes_9.0.0-3.dsc e3e216b62baf0819a9681a55c886cd528fe9682df2aa1006002c5265cd674d0b 5632 coq-math-classes_9.0.0-3.debian.tar.xz d7b8d7eaba84397ae497dd0ba7bc3e5a1f3d6b76365116ab6968100122c0ffc3 7485 coq-math-classes_9.0.0-3_amd64.buildinfo 95fc101d1c8a6a648a798b1ea87cfa09b83b0525fcaad61e5c3f3a18a6eb9b34 2873388 libcoq-math-classes_9.0.0-3_amd64.deb Files: 305b9c0a5991fb8fad0caac8a7d725c6 2176 ocaml optional coq-math-classes_9.0.0-3.dsc 73ec706eed92948eed6b0d5b3a6fb629 5632 ocaml optional coq-math-classes_9.0.0-3.debian.tar.xz 6afd1fe07d59515043cadcacef10b69f 7485 ocaml optional coq-math-classes_9.0.0-3_amd64.buildinfo d729aba78af6d1dd514ae22bfb92f07b 2873388 ocaml optional libcoq-math-classes_9.0.0-3_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpR5BwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdM/D/9I4tOdOOyyRjZUf+hIkrM9 BlQtImn743qoQxrDHnXOxyoMqCi61H+1KbS1+Z3G6tGZfa9tCK6FnQRfpU3W5goU KmcErtgLOPaB5ZbvCznTYKAs3qtod/eTfmj+B5NKe7ASmUalEsCSYiEZc5WS5hxZ K86vCF9asWfiCUp8P9jO+EX4BIhKer2QuKyFjevI7u3OlmGFaCoe324osf2nThaO wNaCYkwK+KKZjuh4UAFlQUaB5lycnd3S8vG0P/3kTJOiDtZn9nzq+4YTC35LWQNy YVPxHus35dj0QppYZ2kXTUzLoyeFvLffpQdr5pvKFKlXH5l8w9eUYBdESib21cwL 2oJNQeGq1O1pFxrDi6CBYwd5kg9ST6saob9H/VaNguoUJgFPTYp6ereCMY7kAGjP TP6TxFWVgHa2GjSwsnRFHt9gm5AF1nBVvbJ22Y5OVBqsRdusCQfVLjcp0WF7nXRm mN5wS0NpD7QjpP+Oo/bMuPs4ohtbmmbTt5brmEDSO6U9kZdYwh82RoDXbA/pcKoI joRp0F7v/8ifadChVpXr6yEX1GXARd9bMw9qZac17JHqhu6U9dAF1ns5Fxki1kKc 9QHSC0/N2YUk9MyAaxFf9zLmmirTmgpU53YyFxC2Ijysd8E3J+bUY3NQh3+zhGhy +Q5NGjvZzA9zrpuaM31FmA== =sf4k -----END PGP SIGNATURE-----
pgpBs4jmjY6t_.pgp
Description: PGP signature
