1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • mathcomp-analysis_0.5.0-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Fri Mar 25 08:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Fri, 25 Mar 2022 07:29:22 +0100
    Source: mathcomp-analysis
    Architecture: source
    Version: 0.5.0-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    mathcomp-analysis (0.5.0-2) unstable; urgency=medium
    .
    * Trigger rebuild with new coq.
    Checksums-Sha1:
    e6663a97930ddf648aa4f3dcc79869ceb3ab1b3d 2188 mathcomp-analysis_0.5.0-2.dsc
    f5c8345995f251c90896889303cd04e6c5fc77e5 8348 mathcomp-analysis_0.5.0-2.debian.tar.xz
    ba5ac5293e0797c338b975e2205367de50da874d 7017 mathcomp-analysis_0.5.0-2_source.buildinfo
    Checksums-Sha256:
    6bcd9d0dad96aeaff690a9cff8dc3fdb5cca61d2f98d9bb4c47da91e912e637e 2188 mathcomp-analysis_0.5.0-2.dsc
    7f27f8720248aba4a2444533488758524e8dd3ae8c13d392d790024791302cc2 8348 mathcomp-analysis_0.5.0-2.debian.tar.xz
    c4efa6cfc28576d560d5aadcd4016ea69452a144e5b09249bcdfd5ec096e1981 7017 mathcomp-analysis_0.5.0-2_source.buildinfo
    Files:
    73a3c8d3d470eceb4c2fea4675c253af 2188 ocaml optional mathcomp-analysis_0.5.0-2.dsc
    c6b0df33fbbc33b434a57e134f0de51e 8348 ocaml optional mathcomp-analysis_0.5.0-2.debian.tar.xz
    19ce969855b3755fd8762d50236d1710 7017 ocaml optional mathcomp-analysis_0.5.0-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI9YYYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRjykP/10fnYlh8RHYGkx0V6qVR2s+2DZLf51C P89iCLi667NvsYGOzKn3Fl2fCGPnyan3oT2OJu6LTGIGToGSUTuKPHmWAbvuI/oy rl4HyiWZ7ItsmDlGn7L27iuLMNRpwB+PdvgG6idz0R1okIOus6/krVfcf/6P7wtG RD3/t7yLILrhM/c8jk6D5CAf6Bzl7owYd+MGUxsYBkUyMk8lrZtNRll9mcj2eU7Y Wlwhbx7h1QtdlZUj4hV9186GNoyf28LOV3oVqvli/+iLp89V0oxu48NRSzmKiiPI bxGYmL9uRXI5mxQRgEecvYvsgOiOuKs5zcKdG52/+IlQBAyrPjrP+zHDUeVSEHJZ Cq3oJrnnNBavoDosq01t+q+X5q6fRpwY26ucwOYEnTdMvs69gLpKafQ0diL/ZHm4 jMM3amSvdtLgGQBD+oYuNoAvKQglL/FhMXMG+m83fzkMqTD6HSVbYWFZdMfLCB1i jV0nOOKwvGlqP+pxNucdxcHTj5VU0biFoPHaONjLgq9kieHKM9pkOINT6XQmwnib Gc/bSczC1tAixpy27x+SeTNkhNUEkHoVc4P4psxZmJTmTyFVRFkPd84K8pMSe9+A N0wjiuy4jXQnLh5PT/BDJe5D5ISqk1z7Wp5b/oxV90VNlEhzko68IKytIRlnUBFw
    LrzTZmYFHVfk
    =mev0
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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