-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 05 Dec 2024 17:01:11 +0100
Source: mathcomp-zify
Architecture: source
Version: 1.5.0+2.0+8.16-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
mathcomp-zify (1.5.0+2.0+8.16-4) unstable; urgency=medium
.
* Don't install the examples and run the test-suite
(upstream doesn't maintain them actually).
* Bump standards-version to 4.7.0.
Checksums-Sha1:
bd0bb61761b577405a608572f17ff481a8501dee 2152 mathcomp-zify_1.5.0+2.0+8.16-4.dsc
343f732a3da7e117f1236e9166a22ff8e859747c 8752 mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz
766e97e5ea61c79ca9f7115cd56caafb30e3eec5 7840 mathcomp-zify_1.5.0+2.0+8.16-4_source.buildinfo
Checksums-Sha256:
83932f787ee03df6a1228c4528dc77a2086f073c4a5adc150292aa868afcfc8e 2152 mathcomp-zify_1.5.0+2.0+8.16-4.dsc
d947e46b59557b3143c6b419647367fcc3a42d94451fdbb5db1acb20cf43eeed 8752 mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz
810845a09878a7b6ca7f54959450609736e5479f19d49e31919a3adddf2bc2e0 7840 mathcomp-zify_1.5.0+2.0+8.16-4_source.buildinfo
Files:
b9294956db750539a985cc7616073b5c 2152 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-4.dsc
4eefea64503d33ee7b6c8d77f5304281 8752 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz
3783696134bf536ad8f23ccab9a7f3b2 7840 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdSqm0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRuO4P/RsFyGHvY7EFto8URQOC40DdTPxtu276
RY6nY2mKprjVuR78akOa3oMuqbOMvRu7WBOdPJFIsF67HYrn0CzWgnXJSX5u4TYw
R97InY5ahaUGVD0O7v22A20dPHFtPu2D5jOlmRA2se21ZIB9GGMaEiCmPKG6PvO6
UdXqQ8MB2jc4S5hAk5rpNYFp3QNgbXrc7SoGqUDPf5+FhTQzGc+bgxz4D34ZkFpJ
jaTYP8yevo4MFNnhC7E/tit7H03XbrV6/32kLFvaR5SQQt/FGVRulvuCl4KeRmpj
9DsvyN2RFnbyXMBpPvONpeKchiQmzSozt6JgO88Q7wAJnT14Nd5g7jsTLlz3D1q0
wBrWgfX6Ku8bxPs2P1tVAEF3FFG4nF83MGSAv14y6+uZqGVZMPs6ohHDYnYC7+Gl
JfITghj9bFvrvys1cwkHrUPi5tOTeASbOiRRcUVNDRz0+0b+AbKrdqXhh0jHyUaq
xBzvDjl7Oc4pv8DFEJtN7Ob+ReSvg3L3a8XHzDlfkgWR8jcBraGSxneGLENFKeNW
oa/z4LGMktDehgt7ctO+XDC9GRRnJsl6X4QKNvOonF9x6szdh2Pfec5dYy8O/Jad
+U9i5ZWgkZY3Hkv7GiZPAl7fqacSx0sjxRCJv41UVy7cBMRhxMbnm7iAvmcetSKy
3+H38OwCaN6P
=zRQ5
-----END PGP SIGNATURE-----
