-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 30 Oct 2025 08:12:14 +0100 Source: mathcomp-zify Binary: libcoq-mathcomp-zify Architecture: source amd64 Version: 1.6.0+2.3+8.18-1 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-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. Checksums-Sha1: bf98f17d39474c83d050393eb1987f694814a651 2165 mathcomp-zify_1.6.0+2.3+8.18-1.dsc 6c79526a510795bd7cf8d9f32e574c77b68bd050 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz 06d56660bb70006626209b9c7405c58fc46a7590 8832 mathcomp-zify_1.6.0+2.3+8.18-1.debian.tar.xz eb469717ca6d33fe6372a68d5744087be9798906 314972 libcoq-mathcomp-zify_1.6.0+2.3+8.18-1_amd64.deb 1e06a10f9b123a071927e461404689d0a0a51a4a 7545 mathcomp-zify_1.6.0+2.3+8.18-1_amd64.buildinfo Checksums-Sha256: 1d858f1d645f5598ce6b8ecdbd10a0d55badbef19f1378c6da39d26b9ebc78dd 2165 mathcomp-zify_1.6.0+2.3+8.18-1.dsc d15f32d0b9ebef22f6f8bf91cc27390008c9f269ecbddfd6098d3bcb7cedde8b 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz 13289e8deb00d3923698eec1a576cb5281482b4e04abe961f5f54b932f205f9c 8832 mathcomp-zify_1.6.0+2.3+8.18-1.debian.tar.xz 8bc67906166bb7f5a9f363fe6fd71e36ce95bab58ae6a57932536f86622d629a 314972 libcoq-mathcomp-zify_1.6.0+2.3+8.18-1_amd64.deb e0faa8885f140629508437e22fca37b12a43f7df29925f6f44650284f16ef401 7545 mathcomp-zify_1.6.0+2.3+8.18-1_amd64.buildinfo Files: 988d1f9b811f027da6b9990df7f1e126 2165 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-1.dsc ac755d437071b0fd55a43cf0bc93a80d 21077 ocaml optional mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz 0b880a5328c5d17e57d2379eeab0821c 8832 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-1.debian.tar.xz cad4b248200c147ea04193911c01c2d5 314972 ocaml optional libcoq-mathcomp-zify_1.6.0+2.3+8.18-1_amd64.deb f30be9f0a5b21b0bd5e9a45b742eb2eb 7545 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDELkZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfpRD/4kRp5YgRl8/yMKk74/0bIh Xn6lHhMjM8RoYKMWZeq5/3aT7e1pe9a8GrDJgKeBaTF+ZfoV/yvlNJutq7Ob4u9+ djfu4LVJWGSdeMdSItQ5lTn7+H/m2n3LvcY3OokB15jNwXNmktUTh/bXw+bi81qm ZcprFUZ0RTc5Fq0SOTQhGG6rslkOMy9KlNBqT4y3w0lAS/0AlvKYrebV1KmNqlXO 1MQqlbqjz17+j96G5NMkuxJWwqAg+wpAuhqFfcfyPWbBkwTziWKsKIB1bolOaMFw a4Fov6cBVNf5QN7ru1AERkhxltkF52VE515CX5cDJ6KbNoeUag2fhbTaYjTgxhDo KN5AB41MYIf2m+3JC6D+g+NLNTUpfT4oaBHu1iCj7ZjwpTm2LfpBM0UufgcC/DvO uM6yvzEqDUJqZ/myKum+0UJ3ckVF/g78dFQCkYQYS44rypkkv5q/+1kA/kIT3I2g 0yShGf0Xe6H1KBjur4s3ktqVY58yeTng+2zVFTQxVOcM4LZTO4J99UU9T+nsG1I3 Oi0Lb4UHqKIBDxmbfc/8/LjSCoh84w8/clihCG8A4tWzGnVJvzTAx62wNEpTQZ5F aMLnXkjspU9bpRmPE5AQ9Ms4qcDUA6LT3GsSETw5ZMuE7KP9UCdE/bwLpFFnxpX9 zvmDJ5kXRpiMXpDcZyLjKA== =X++1 -----END PGP SIGNATURE-----
