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

  • coq-gappa_1.5.2-4_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Sep 6 12:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Mon, 05 Sep 2022 22:29:45 +0200
    Source: coq-gappa
    Architecture: source
    Version: 1.5.2-4
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-gappa (1.5.2-4) unstable; urgency=medium
    .
    * Fix the Vcs-* fields.
    * Update for Coq 8.16.
    Checksums-Sha1:
    79a6d01cf0af568f5fc2be0254325f9843e90861 2068 coq-gappa_1.5.2-4.dsc
    2ae017267efc2ee8f74685cc45235dbd149ea786 1952 coq-gappa_1.5.2-4.debian.tar.xz
    3cbd0eda56dd973f451af850933ed9dbffa5fde3 7120 coq-gappa_1.5.2-4_source.buildinfo
    Checksums-Sha256:
    b3ac931c87f95d5fd838c6c30075315f7a438acd4ceebd77c8c5726f1e4fb830 2068 coq-gappa_1.5.2-4.dsc
    c4387183aaad79da90a6a32804a7d790a0e79c65f4ff3d97c02396fdbb4c5403 1952 coq-gappa_1.5.2-4.debian.tar.xz
    1821e42d1e69bd7740486386f8838ec4a21e87fe065b21f7801153ef45f49943 7120 coq-gappa_1.5.2-4_source.buildinfo
    Files:
    9f9f65307599af98875236e27aa96cf1 2068 math optional coq-gappa_1.5.2-4.dsc
    22d8be9df660c8d92ea2683d828e8b88 1952 math optional coq-gappa_1.5.2-4.debian.tar.xz
    f3b57b10ae713d8d4cbb88c1cc435ccd 7120 math optional coq-gappa_1.5.2-4_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXKoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRa8MP/Ax++eRbSFWkPKl0t54gXAA9II/4acXr CfQrHdhsbnvPAE8SQRLosR5OjM28jve1Ws4ZMZUVKYCsIPWJfBZQ0jBbdDjbFza0 JDmI0r5kw1jWsMfCx0SEcEdobodJBYOX/mnsmlHyECzlvSdj6keY4XPjKTDs6MQ9 EqCY8xGj957FwViHWakT+AKkHKYz1eJ/Wkbi033DytXqpWxHLMKUwFwiXtRV/b2g fiiA863y3j/a76hYpl+FXYAbzgWrb7NzUDiPcI986naxSrL5heZ33SR+OkqllQLb KUxz34JAfUhWNfutZQQiYBUE1bgXHMuU78Ntzvbqdz/ED1sZBlL1OiihiXjQh2f2 SryevGqfH2kHuWSOBSye67YXKa34xSmzazSCjcwwrdURKJ4R12OtHCLRq4wlkTpP vNagNu+kdU3AMsk1IE8A7E9/rfMJJMNXfXuAGR6ixleHdN5DswdtP7T3Ny/00Ot5 mY+8wm8iN3FjXAwu7bSnrGDPj9mL//x2Lgiob7Lj3QnblI1XrRfxYU+fISTw/EPl Eq4/QhqCvtLXlzbyJx7gzfMpX6tEnWaX4gOpmnnSHo1iZJ58U/nM7y2hkl20Wuo+ 1vGjKV19GIwKWcjrG84dez0PnTFdfcfFQmI/oRrYMOyUBKk6Uf1tdZK7ERuOsdWZ
    1MumN76y/Y2y
    =Jxdv
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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