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

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

    From Debian FTP Masters@21:1/5 to All on Mon Jun 13 11:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 12 Jun 2022 14:24:00 +0200
    Source: mathcomp-analysis
    Architecture: source
    Version: 0.5.1-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.1-2) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    988b67af4be5fe6384d86c22b675bf97444042e6 2319 mathcomp-analysis_0.5.1-2.dsc
    7073fbd117d20332a717740c2d788924668ffe8e 8512 mathcomp-analysis_0.5.1-2.debian.tar.xz
    1cea0410515f02a38f4081f1f0764af10de34be8 7682 mathcomp-analysis_0.5.1-2_source.buildinfo
    Checksums-Sha256:
    00ed20d1500503e6d28d0be29e138e081384f09d1635b80e416bccea1ecf7015 2319 mathcomp-analysis_0.5.1-2.dsc
    b8a0ebefe049b2e09da3005d3e3fbdd8134e1efd7d7e1b3b12236304c2a42f32 8512 mathcomp-analysis_0.5.1-2.debian.tar.xz
    da34a5b0d3498087ce309f05ad0556fd21806d8f7d8883f6ef2a6bf8c27d2715 7682 mathcomp-analysis_0.5.1-2_source.buildinfo
    Files:
    00396e40ca1533a00e3bb20c635e45a8 2319 ocaml optional mathcomp-analysis_0.5.1-2.dsc
    7a218b2200e61567651870b1a7255975 8512 ocaml optional mathcomp-analysis_0.5.1-2.debian.tar.xz
    3406e922e80d471d4a89137306caf00e 7682 ocaml optional mathcomp-analysis_0.5.1-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKm+ogSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRkKQP/2WBP3Xavbuy9Ucxv95aDzRJhldQk1w1 Vj3Z44wmdHAEEx119uBx/OvmV+/YY8TlVywC7V2Z39neDBOmnw10OTVPdgLweeQ1 r8P6KplE4gyOoesZS2GmZWTSZU/2JnusF8482SaLL5jvCxdhhwSD8e7L87KY1FDl jE+A/tjs/OLRHAoL8sI7YmXfACMjgIoQ1Md+Gf0rxJzuxfhZQFFy841JWxQkO6RL FxY+Fh09P+zgm/O1svONimYEWV+LjITe+Hsnwbe/vHYr7V8cXJfw0PeITpEzI50P nfLuxEOOpuboa4gkR/DHVnIeZr7y6ZP8cn6uNRUEB8KdGVpMNLqBltdBjnTU5z3I x5twfaPZfdkDJNGLxP/8JnSsZFd3NKO7eAsuJq5M2UE2Su8erWz+UbqbUY0kVcYu Hg3LDVez2Gka6oxq09/l68d0CVaM1dubXVyKtmIDxgeZCvldWrniz/Q+Yo5EWBg0 6i6vNzx+k94HLgysLkuEg2PTsnVbgXAqVfqyU4INMFLPFs+b7taZZz8JiBWgBooI kp0rs8fNNP+ifGrBIeTf8fiz90wVEoLC8Ylk0BnhXfd/RT7/q3vaj4JZqgIk0C0V w10C/nsiy4Xl1G8xegv+jF8jvjqq+xO4Hzmh22yAoJvzqGhRozUHRlhoy3u+2yXZ
    xyeXYfIitbCb
    =5VIB
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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