• mathcomp-zify_1.2.0+1.12+8.13-1_amd64.changes ACCEPTED into unstable, u

    From Debian FTP Masters@21:1/5 to All on Mon May 16 20:20:01 2022
    Accepted:

    -----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-----


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)