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

  • mathcomp-real-closed_1.1.2-4_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Jun 28 09:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 12 Jun 2022 14:26:39 +0200
    Source: mathcomp-real-closed
    Architecture: source
    Version: 1.1.2-4
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    mathcomp-real-closed (1.1.2-4) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    904c50b94584e3b1e79b4731e8ae172e4ee2bce2 2217 mathcomp-real-closed_1.1.2-4.dsc
    81840ffcae55d91c6f7f3362f711a9bc505aa876 8564 mathcomp-real-closed_1.1.2-4.debian.tar.xz
    66d524196574c72341fe333a693333d1c5c05fad 6956 mathcomp-real-closed_1.1.2-4_source.buildinfo
    Checksums-Sha256:
    9766da43486e7950b6c7d5c12d3ca011030e5ca34b36acaf6b8c530af663c5ef 2217 mathcomp-real-closed_1.1.2-4.dsc
    2737cbd832fbfe0025e5e710ebae0e3fa094623b94c6700220894906b3b3ed2c 8564 mathcomp-real-closed_1.1.2-4.debian.tar.xz
    ffaa2dcda939058b40a6bbf0510517fd997d064168da506d1725ca8018f50c68 6956 mathcomp-real-closed_1.1.2-4_source.buildinfo
    Files:
    814f8df6ae5e4286757d76775b36dd40 2217 ocaml optional mathcomp-real-closed_1.1.2-4.dsc
    c998d82e360167a1368b190ccde67627 8564 ocaml optional mathcomp-real-closed_1.1.2-4.debian.tar.xz
    997556b09f03617cfea8a180d3fab352 6956 ocaml optional mathcomp-real-closed_1.1.2-4_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6pQQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRarQP/28Do5maqWjoGZA4nqToqEqArK1iK5GN 3Mk2qXOhHCTiKofXUV67bFDolYUnq4rVV2HmF3hcLFYAYP+nCkMr+ac4O7/Aig8Z eRP5XHYH5vOIs1IxoT1vWamu71Sr1GNzeIjJ2PCXOn73+thoYq6RMUrNixR++GFV OfgkOpHirxUQrKyxjOmkyW/bAQ9U1zdxePtgvp4dmG5GxGIZDg3D7QZSHCw2Pfxu SFKDPV+94AfDRzUrvD6k1QdGP/3QgYPG6xEJDhS1FLeMGYK31OEPQRTz0jz0veu/ VuE3dTVrEa8ZdHNph3W4lUDOPpf4RoJ0Xpagm069hFIDA/Tu9MWuXQJQrvuHaMhW XNN3nNnW1fXe77iJQa+0Db4cV0cWjHtv9yk5Kyo4080wW6jkhcpWrnZM/SDP17Kt JomUrutm1lme3MCroSDAx/gZbvdpMP6kMswtLmKOz24BbmuSU+fjkVbDrP8IzNpF oc5WbzYsOKGlHz1wVPXepxjDN/LzoC69tnfM3q5ixfDK156JQM6o+7rOZEuhmn0F i5mc54wOOcUAHK5c91wDhYjhv8JIK4sfK0Yjx9m2QNoLpDXwPY/ft5PInmh2jhMt 1y6oTsfz/6twkaTcX8IXqpdsXUetuMXwbkX+2E+lLzz40YqBK9adTuoJ2McJIOZv
    /ljPZ3xVJ2St
    =spat
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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