Accepted mathcomp-zify 1.6.0+2.3+8.18-4 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 23 Jul 2026 17:53:13 +0200
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: source amd64
Version: 1.6.0+2.3+8.18-4
Distribution: unstable
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-4) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 575fac9a77ca60b4bc5ee73ba0f1279ff918a461 2172 mathcomp-zify_1.6.0+2.3+8.18-4.dsc
 6c79526a510795bd7cf8d9f32e574c77b68bd050 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 e1ad16b6bdc61f74a9edb119b0b946033e3768ef 9416 mathcomp-zify_1.6.0+2.3+8.18-4.debian.tar.xz
 28e45b16e095ca164652cf674074bb248b21bbed 292064 libcoq-mathcomp-zify_1.6.0+2.3+8.18-4_amd64.deb
 106ecaac7e0a05ec762dfa3f9b97620fb894cfe5 7483 mathcomp-zify_1.6.0+2.3+8.18-4_amd64.buildinfo
Checksums-Sha256:
 bb61756fbb11839c520d80781c39cb31f887104caee4209ef1952d89e0e83661 2172 mathcomp-zify_1.6.0+2.3+8.18-4.dsc
 d15f32d0b9ebef22f6f8bf91cc27390008c9f269ecbddfd6098d3bcb7cedde8b 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 8ca1e3787a5f192152950c361426e2e9a97ee779c3d489c10f88881ee1675698 9416 mathcomp-zify_1.6.0+2.3+8.18-4.debian.tar.xz
 42cc36b216e4c6bd3cd7c85431ae800fa94c5ddf5a6ae77e1444968b2317d83d 292064 libcoq-mathcomp-zify_1.6.0+2.3+8.18-4_amd64.deb
 e1d86f4ad42c0b7a8e394c50891b4b5e95d533efee3aa88c4f9ae70c747456b3 7483 mathcomp-zify_1.6.0+2.3+8.18-4_amd64.buildinfo
Files:
 5b85430f445442757454d50d8b21bd19 2172 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-4.dsc
 ac755d437071b0fd55a43cf0bc93a80d 21077 ocaml optional mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 ccac06a495be0258433fc4f7d18a9d54 9416 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-4.debian.tar.xz
 24f7a83f00e17f1bafaee0b72f2dcdcd 292064 ocaml optional libcoq-mathcomp-zify_1.6.0+2.3+8.18-4_amd64.deb
 4062759323fd9f637b66898469c46a8b 7483 ocaml optional mathcomp-zify_1.6.0+2.3+8.18-4_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppoNEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaZjD/4gzmwwIEMzq4qDJoexYIhy
qVbfEKnENbzW9c7IHYD2MnfilsM59U8TooEUzkhVcjbbukUlqzaoUZZAlbb+tGFC
pcD1THtm6A3PU//kHE9pKSeD76RrI0nP/4uhbWYF5USCc3iSKa4JEY9eWnwL9HZd
KLCVhMmiYQJOidj0DJlQIMp3Ct+zSOByQ1Jn5NQiVdIG13xeT3UqOIaN08PggK2D
5aNB2em1cCfBUbSscrLESLDcQytaa7VNQhseNX6ieQpP4CE6uqDA973w4FDVKYzb
0aLAUxW/NqBQcDeHp3W+TT2xsICQQf6A3C/yo6BHZDgp/uLMmmGcH+khZs2jg1Vl
W+EL4uVchwcbwHvj4sDK/9jV0igVITqXsemf+yxAK8kel5fraSPLe+fwFBWZKNig
GXbRD37zgjSPFJtBXOIBu1hdc8NDqehltuyb9UHLrLl6jjrlX0GORpk/YA5LzFfW
EoExh3PJyD9MyWjb/s8I4/eBCyIfToApUipZXG2hDaZqjXTp9Gt+SmCHvbmkbdh/
74QNwJI33zcqw/MaBrOp4N2Qu4DzVHk1jW0aLpFVQHnUSLj/jzkzBoAmMquAY4aH
vmxclxBg+D++0m+NLI0ZpYeaQDeFFamALsDTs05UOvlzNFm+c1azxspghXvcSamY
wcOwCacxuy2tGPkx0TnA0Q==
=LfHf
-----END PGP SIGNATURE-----