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

  • coq-equations_1.3-8.15-2_amd64.changes ACCEPTED into unstable, unstable

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

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

    Format: 1.8
    Date: Thu, 14 Jul 2022 14:51:34 +0200
    Source: coq-equations
    Binary: libcoq-equations libcoq-equations-dbgsym
    Architecture: source amd64
    Version: 1.3-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-equations - Coq library to work with functions defined by equations Changes:
    coq-equations (1.3-8.15-2) unstable; urgency=medium
    .
    * Complete d/copyright.
    * Add hott support now it's in Debian.
    Checksums-Sha1:
    63238d2a7a6baf271dd267e68d459782431c3289 2161 coq-equations_1.3-8.15-2.dsc
    56bdaf1ed1b8746cb0a11ee07c9cad21ce64f61e 1095737 coq-equations_1.3-8.15.orig.tar.gz
    cbc603f4f1534596994161c9ea03103a80eac5bb 2144 coq-equations_1.3-8.15-2.debian.tar.xz
    32be78abb2f8c5e2451cffb8a4bf8adcd82a3b38 7542 coq-equations_1.3-8.15-2_amd64.buildinfo
    90ba7acc4872e9d0deaabb60c791251ff67f5433 132764 libcoq-equations-dbgsym_1.3-8.15-2_amd64.deb
    9ac87817e34a915832d1dd511427913a641115fe 1432068 libcoq-equations_1.3-8.15-2_amd64.deb
    Checksums-Sha256:
    c80692c8978e65852c464c2694f2b3860a21ec9c45daacbe1c55849a36cc4d97 2161 coq-equations_1.3-8.15-2.dsc
    459636a90f7d45ecc2c082fca91478e7d7f27455518c9c2631541ba6488f4a01 1095737 coq-equations_1.3-8.15.orig.tar.gz
    9930c2dd50a0b4fc50b9e43da0c3a3ec322c1d6daaa27e825cf231f04897cb15 2144 coq-equations_1.3-8.15-2.debian.tar.xz
    2b4be83d59d642f90b9f8849b819a2da39be045eb2e7c946cd7edff32527a754 7542 coq-equations_1.3-8.15-2_amd64.buildinfo
    b7ae6cb7977a2efb90861fa4036b5522b8f3a6db127f3c6324200f88201f8f3a 132764 libcoq-equations-dbgsym_1.3-8.15-2_amd64.deb
    901e48c0e1627b1522c39a9e6b56325ef13dfe82379d5f25f593126f23ceab22 1432068 libcoq-equations_1.3-8.15-2_amd64.deb
    Files:
    02dab79541b0c125df9b2f6a51345180 2161 ocaml optional coq-equations_1.3-8.15-2.dsc
    e3956751e6f135aa3ec2ac6514afed4b 1095737 ocaml optional coq-equations_1.3-8.15.orig.tar.gz
    031fa902533e78fa6a2453158edbd43c 2144 ocaml optional coq-equations_1.3-8.15-2.debian.tar.xz
    60d54278e8838d0a798d88871b7e328a 7542 ocaml optional coq-equations_1.3-8.15-2_amd64.buildinfo
    dedebab6ca80b4fe621621442e5ce005 132764 debug optional libcoq-equations-dbgsym_1.3-8.15-2_amd64.deb
    4d28d4e09563c677a6a89f0a3c8472b1 1432068 ocaml optional libcoq-equations_1.3-8.15-2_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLQGd0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRhugP/3V8oiC6tp6vjSUxl3J88rrPumzNK655 RMziXC2ouBeT/reBZDD3SyTKXY00aLOeIpjahqUz3JDRWNf+RHBZSUz38neqeqC6 P6xLS4R5/hJ+mh+BrDEMtKONSESJhQ+nvJTr8tLA1sVJJUQKd+5GLDaW8dVVhq1m Qg3hByeLX124DD9tSLijEANPrLmEy9Q5RmWHbmvReTFciKMPl9POfIf8ELXinUQm COBNxrUY+d+XzxOCv29zsf3TgRROaVV5f7aLq5Xws5ya7ruuoaG43Ju5XNE/+mmb Ah6L1cND5//Yqp63aYVpY9ZcnDnFO/A3DwIBnNIDx+ptHSDvW/KRs1zMSvbnEzLZ YqLWWNADson+X8CHOUJoV3gi5bSZhD8/6KcG+6rzMKQf7NRFbi/hq7tkZ69iI6nZ rrpOEYtY0RvS1ACkvOGHeyQnD4kG08KUMz5JkPhi8Np1QAxhgjQYwc5s+rmOEWoj SBx/srn1XFk8ucWyBHiNxY6mwjGOEVM3BrDT5hC6mUejCDdpK5g6VlO9zV8A2Rhj aEe0Mqzc/nqCFL76jkr17HDZSo1EjrHphTYPoPWs+CFMVQqfaHHDINYJNNkQqfR6 1RNgM2YNkwuL9enfaFjqO9fx/XzKyDruJo1rqUVMAm48VjDc4/6M3hO1L1U6afPP
    vYqCJ1jN+atB
    =0qvB
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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