-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:41:14 +0100 Source: mathcomp-zify Binary: libcoq-mathcomp-zify Architecture: source amd64 Version: 1.6.0+2.3+8.18-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components Changes: mathcomp-zify (1.6.0+2.3+8.18-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: a535f197471a0a064f0cdd6da2344b3c2c91d771 2172 mathcomp-zify_1.6.0+2.3+8.18-2.dsc 0cc5d69ecdc2a3f529337d09475eedbc36c1475f 8868 mathcomp-zify_1.6.0+2.3+8.18-2.debian.tar.xz d608c280f7a49c2ffa0ddcf603d34bae097db5a8 496864 libcoq-mathcomp-zify_1.6.0+2.3+8.18-2_amd64.deb feb09a37d086eb640a6686093e8ad47882904ee3 7327 mathcomp-zify_1.6.0+2.3+8.18-2_amd64.buildinfo Checksums-Sha256: c5d244b0d716849809813fe44e3a86e2e333ea5aac26e6593584f97865ea7067 2172 mathcomp-zify_1.6.0+2.3+8.18-2.dsc 382dc306148b4cb498a8131ca2a04c71e59760276bad3b7eb705bcd5cfb06216 8868 mathcomp-zify_1.6.0+2.3+8.18-2.debian.tar.xz f35a8b4665584e3b8f55dae0108ada637f2521c75d2ae82ddf8ffcf2cebb03dc 496864 libcoq-mathcomp-zify_1.6.0+2.3+8.18-2_amd64.deb 674ff16e4edce2973d9af25891c1bfe9c6897b9c4372289606f058641f611b41 7327 mathcomp-zify_1.6.0+2.3+8.18-2_amd64.buildinfo Files: 8eaddeaf4221fc43b767a88c7c3b0ff0 2172 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-2.dsc 9c8e2750a896bc0fad311cb7f2960d35 8868 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-2.debian.tar.xz 9535bee64dbe4f47cbbd76b0af52db62 496864 ocaml optional libcoq-mathcomp-zify_1.6.0+2.3+8.18-2_amd64.deb d7b3f3fdb5b445b57cf395edf808535a 7327 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkuYZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUba0D/wII9RP1g1+g4buqd2s1aj2 NfFbroJelh+0V9axaDZzP/GasvBUYEHXZacJl+oYg4SMvvYEQaAOMGn+V6eRnl0c yHjmapA25kl1aYrGonLcCOOVAmcl5gomDQFnSb+ykx+HRMOpq1yO3ljXFPjodzpK mo59DEjFuzDuUCf1fWDqpuEfeT5pi20oCtNHWwLya66AkvXPQzIgBeUN1d4kBrSv Lmunq+87c8BUabi4Gmo5oL26sfb+bnAm74OHAm3u8dBTSNVTafIzKdRBZhEWzfli itGAD9YNDPtRHYASP83cWGPzCwTIP4AT7xN6uNTDabd1XsmhoSWEMxUlJNNYKGmR kfjBP1MPZR0IK1ToavvfWohTazFrRw3QcwHsFA1rFEHMafOx43g+S4T0sFVGb/jV Hw6i6RixcbibFNznQS41wfCvyw38rfQNIaST/0ENVNWC9TJpGMl0NklZMJx1AQ7h 4BDzpCjlp6KsoZnUONowW8qYUX1Ke132zW4v3bqD0nBdohRofGPIHD/IEoFKOCeg OuhhzB0CGC2TE6dZ3cXhiSBX8pPTie2I2G8VHLQcYv/EmMB/Su4zCl5I3Z+KMKJy 4Y22B9LUTqM8sAqZCcuRhuWuhHYcj2T1Vn1lWWUWcxI1oB3VAOxkNiTRdSXIWu7p Y3FuLdT0rff0OFlHHSE7Ig== =hUaG -----END PGP SIGNATURE-----
