-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2026 15:44:58 +0200 Source: mathcomp-zify Binary: libcoq-mathcomp-zify Architecture: source amd64 Version: 1.6.0+2.3+8.18-3 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components Changes: mathcomp-zify (1.6.0+2.3+8.18-3) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: 10eb0fbf6dcbe5332cf79056ca8078df4c3e9710 2172 mathcomp-zify_1.6.0+2.3+8.18-3.dsc 0c5c6d3033bdecaa25c5c34a0913e3b0ce799a24 9400 mathcomp-zify_1.6.0+2.3+8.18-3.debian.tar.xz 95a6b1d874ac017ba07b541b168688d07c7ff3c2 292420 libcoq-mathcomp-zify_1.6.0+2.3+8.18-3_amd64.deb 4db8d8855e28df4003a1209652e05ecae45d316a 7555 mathcomp-zify_1.6.0+2.3+8.18-3_amd64.buildinfo Checksums-Sha256: 59916e0c7586998f4af2568d3a9dde26fc04ba3d98b41b1e13a5ba91f25dc6a9 2172 mathcomp-zify_1.6.0+2.3+8.18-3.dsc 68b6e419e55e93f40241581e156611d900cf3fe050e3a5ad76d6d25fc5e3f646 9400 mathcomp-zify_1.6.0+2.3+8.18-3.debian.tar.xz f458282c0f7735822d86ce302206a888c6215d168e1b25d70c95a0a51ae2eda8 292420 libcoq-mathcomp-zify_1.6.0+2.3+8.18-3_amd64.deb 658b30cfc8979d3563f3d05d6410bad922b41c8bd6e0e30c4628551accfcbcf1 7555 mathcomp-zify_1.6.0+2.3+8.18-3_amd64.buildinfo Files: 9c37feddce98e63bc9c1ea209af178b9 2172 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-3.dsc 86d734883ebe6bc0af58d1f1e29b883a 9400 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-3.debian.tar.xz c3c62fd0f1164f25ec3ed3d4b0fda734 292420 ocaml optional libcoq-mathcomp-zify_1.6.0+2.3+8.18-3_amd64.deb 9a63d8c928f2468a647627b0a63444e2 7555 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpekBkZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXhUD/sEl0sBVhLrVZI7hjhvDhaq Xl8kHUMIjzIlFj5Jf7n375/o4XzM7MIh4XsBzyt1CTm7v1FL03XHAf+wy6knrbiT VSUwVjdB+KmCzu6297pXmQGN2dlMId2nTiGrt2md2vn1qKEkI7uxqnbBf+hKX5jA cX5er6osCDTC5xRHtZOy+NX3/mAKk0RsFf49YjJjeGEbUd4TSw0locFPDR4U4dvN sJIr4JLujMQTPvHhUhCENb5xCh8NccoU12WAr4FKIzfop3Dzdg7mdUy4WrTSBjaP NnR/S9aos3Hximm56caIlvmLjLATi4RUQBchAH9GLgVbkPDlFkmZTk4ASbQc9lBs WNy1j82x5LWh2kftGAGREX878tiFFZmcL0dy06Nhp5hd3fsmoPW0+iNqRqYn5UD1 Q+S1TrzUcpft74he1s5/+0WWlyVVwg33utMW/hm03HqVSDxwx1hr6bAM1ORYhbs1 9UiC7s+lKRPGklCbqedMCWrw2OZ4UsyUobyFEfIhAkDPLgIAxqZT4mNUIdw2ng8j KM2dJGLgBRKBXFgvs+WB6W5qXgVQ2Uup2UGYDuwgcDStFFgDtgoE/19+gsVdbtrI ++vyoC54MOci+XYRAybFP6L2+rGw4qWeeD3SvuSIq+M/NpxoyImkKHfwf3XmtNTn VaXeAXVriHDjh8VE7Y/Btg== =TOVR -----END PGP SIGNATURE-----
pgpj8TwP4LwJ_.pgp
Description: PGP signature
