Accepted mathcomp-zify 1.2.0+1.12+8.13-1 (source amd64) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Apr 2022 11:36:47 +0200
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: source amd64
Version: 1.2.0+1.12+8.13-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components
Closes: 1010007
Changes:
mathcomp-zify (1.2.0+1.12+8.13-1) unstable; urgency=medium
.
* Initial release. (Closes: #1010007)
Checksums-Sha1:
4101f7dfdbe777530c7327754ff0b32b15a913d1 2105 mathcomp-zify_1.2.0+1.12+8.13-1.dsc
709fc943ce093729788dc87614f951bb9412d02d 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
5ad505ab73e0c155ac6d5535274285cd6f0a6f76 8380 mathcomp-zify_1.2.0+1.12+8.13-1.debian.tar.xz
84e662a4cf13fcbff64a170ba42db48a614bb6ff 230216 libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_amd64.deb
4a79905775e85629cce894d240782d115673ea92 7037 mathcomp-zify_1.2.0+1.12+8.13-1_amd64.buildinfo
Checksums-Sha256:
66750a9243e71e0dcda1567b45d413195bee53c3d9d79bffbd7eb93f2e8109ff 2105 mathcomp-zify_1.2.0+1.12+8.13-1.dsc
a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
4e11fa7af5d6eedfc82c3569099881b05caff61a9b19a8c8eef62ede99a4233f 8380 mathcomp-zify_1.2.0+1.12+8.13-1.debian.tar.xz
9561fc644f95836121a0572b9b4b1f663fe950a6ce8619ac1856f3af41a913a1 230216 libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_amd64.deb
fc894010575e910749a3780d46e59ca80743d85107a6fd1c86d0c0e2521d233a 7037 mathcomp-zify_1.2.0+1.12+8.13-1_amd64.buildinfo
Files:
8d70aa9bc90b3d3ee543676f580c63db 2105 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-1.dsc
72b41bb65938a940a8d7bd978176bfda 20333 ocaml optional mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
f2f7902bdbb548c687d109ea6fa2c2c3 8380 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-1.debian.tar.xz
f98448537d026d8190de52a5d13339d8 230216 ocaml optional libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_amd64.deb
fcf19839704d3d3c802a0d591758023c 7037 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJieL0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfWgQAKZpqH3vxC1OaI3IporfALwKnJaJU4tN
Yhfs7JAx6MO6bduarBjQUvM2bt4vrlKZkAtMdXfFHbYgoTmOJba09AcEraRQ09qJ
CZUJdiwM5iU7u+JwgBmeP2oXhAWFMu+z18wb0V/l2XqYapq/8Apd/NSSP6bZS68n
Q6JF5H1hTkzmlPMAUuSX07i7PQsYlj6sxeHaPKwMZfpaCPE5Gda1BYIeO2KWw8+l
qg006j2kE3cEjZFhXUx3qFF2paOMec4XxHfOu8m4avV+StXPKIH2DcteU5M47mhj
3sMgrrcs5Y1scK5JpXpxLsKy+t8RtKMK5t6x1wNTtSWa7y486HPb9xd5eYNN2bwb
ltdKoVHxGKaY+O+mmtF5by4+8YbJ7ft4URr9QC/bEeXkrp11l4oKK2rOhzcXjhd+
zilk111XqLx0CgEBp8qdtzfnuzoS/hGRuwqYzC6ct/rMLVrU2kDaT5V6RtQlxxvJ
809yHJwaII3AWiJFE09EoeTjWHkUIud4LSVYpKUfmqirgqux5aZf8tW74e+GWrDc
HzkglWHmiGSpXYftOVcKHXR0vZKGi8rftc78bkanV8xNJctYG8v3cmqrupNzWjNo
gmyVeUesooGTXpw/beiF5RPksEETXYxNC67hQoubCbow/VavqvxtKk8j1GoRhH1N
MCIA9lWt6b1t
=1uSw
-----END PGP SIGNATURE-----
Reply to: