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

  • coq-hott_8.15-2_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Fri Jul 8 17:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Fri, 08 Jul 2022 00:13:17 +0200
    Source: coq-hott
    Binary: libcoq-hott
    Architecture: source amd64
    Version: 8.15-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-hott - Coq library for homotopy type theory
    Changes:
    coq-hott (8.15-2) unstable; urgency=medium
    .
    * Drop an erroneous b-dep on ocamlgraph.
    * Complete d/copyright.
    Checksums-Sha1:
    f150f859b2283c502e014d4a26aab300128b2dd5 2024 coq-hott_8.15-2.dsc
    aa6023cbaf0f14b02b1702e885a133c47c69e0ee 839986 coq-hott_8.15.orig.tar.gz
    84535b6c3a573de9f44e38464851e7234ce27c6d 2484 coq-hott_8.15-2.debian.tar.xz
    e42255068df58e2499cb309c2edafabfbb383745 7086 coq-hott_8.15-2_amd64.buildinfo
    e6dddfd600aaa249608b422e4a3f11acfae14ce2 13823932 libcoq-hott_8.15-2_amd64.deb Checksums-Sha256:
    79bbba185873c2624326e6c5c99c6ced8b9bceb2818e020f97c5dc39845af873 2024 coq-hott_8.15-2.dsc
    d981860235adccad972303a531daa228f449ab1843104c0337e970cdb0f80c08 839986 coq-hott_8.15.orig.tar.gz
    26c4099828cfe7f5083b786793b2419eaca6305963498696a8d820f61b5846ca 2484 coq-hott_8.15-2.debian.tar.xz
    97cff98cd2727efc957d7fef53a7dfcd6f8c85ff3751056f766d574a6101f5c3 7086 coq-hott_8.15-2_amd64.buildinfo
    ee658e3d91ba471ccea881b21ead2e3d0b350ea459c2f1ef538829becc6da51c 13823932 libcoq-hott_8.15-2_amd64.deb
    Files:
    aac9cc58a8c49d78db9e6297ea6ca173 2024 ocaml optional coq-hott_8.15-2.dsc
    e44a5d92769ba4316a2bbb02231e35c0 839986 ocaml optional coq-hott_8.15.orig.tar.gz
    125ea36435b169704d28f5b565210044 2484 ocaml optional coq-hott_8.15-2.debian.tar.xz
    c2117869bf2bd4374a9f08d185164be8 7086 ocaml optional coq-hott_8.15-2_amd64.buildinfo
    e657148d5a682ad1f465e563568ddab4 13823932 ocaml optional libcoq-hott_8.15-2_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLHZFoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR1H8QAJPXWRh8UwDk/m+WqcfWsbXHiLGFx2Sc wh0AFgKMKvERzrjobKfOc3nzuTcBHXSekDqSqNJdzhI01k5SzMm1VRK3iqu1pxk+ 3KPvq6FCj5MNewdOeHHSN313klw2mVtb5/XLpzaDflKzJP2Bb352jc53nr4nGJyu T7oManlZAmGMGi7NzUnTk3YkBOiL41/o/tOWnxWhLdxI3m7QYLviEyIM1oCBmUvc RoYFH56bQkgL72mjbngFPin1ITNnovbXYrtBWeLgOSZ7ADdcnnnToUXjgFp+VfJH +geHQ9koX4zIiuQS08GyM2BOxRe2VZZcpwq5lMIbF20kjAJ86Vo/Mm8B7ZIcJtcK nzwn4A2LhB6NggF9pjIY2XXPGvTSPtS5GfesF1WmEC11a959v6ecrIr83AulcZLf bVIcQ+vY6rFOZQm8LhmmpemGgWpfSlq8N9g2ugFqVKx+XVwC3Jp+g9DdXEqJ/+lA Go85txPZV3+9+Qm+bGoFm1NxCnlPpKkmCsx7NZy9cHUmjoKw16wZ6dQ8LOOG6ZcU cznXfl49HZ7vC+g5lLKv7cFLlzkvASD+5f2BGLIJYFM9TnToRRom5Po9oAxEOLLV M2h4LDIYU4BRsYrcxvvQ9O6krZ4BqAl+hmG1xsyhho+iQ96hs37PGYcGRZmcaP26
    xWCMN3ZOn8hV
    =gGF5
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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