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

  • coquelicot_3.2.0-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Thu May 12 20:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Mon, 09 May 2022 19:49:42 +0200
    Source: coquelicot
    Binary: libcoq-coquelicot
    Architecture: source amd64
    Version: 3.2.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-coquelicot - Coq library for real analysis
    Closes: 1010767
    Changes:
    coquelicot (3.2.0-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1010767)
    Checksums-Sha1:
    ba1046c7a2feaa3037f3e7fdcb4c0d6cbdc487a8 2048 coquelicot_3.2.0-1.dsc
    0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
    7fde84514606023a1b478620b5fae5cd57aa844d 2080 coquelicot_3.2.0-1.debian.tar.xz
    9eb432cb27d3bfab27ce1cda85a0030a09ab54db 7062 coquelicot_3.2.0-1_amd64.buildinfo
    954e078ac3f3367619f742b7705ee8ff2b3a40b4 3267284 libcoq-coquelicot_3.2.0-1_amd64.deb
    Checksums-Sha256:
    61318bc6b252e4e9dcb62a298e617af2275292c7fd8a711aea4dfece41f27234 2048 coquelicot_3.2.0-1.dsc
    2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
    c96ad1374d36904ff4e366482e5fdbfe3fb7bdf57e727aacc3808b2aec763703 2080 coquelicot_3.2.0-1.debian.tar.xz
    95f9d73ffae88be3b4f35cc36622c47e916582ede4bd1e7871793d2606bc0710 7062 coquelicot_3.2.0-1_amd64.buildinfo
    d189ab3dafd33247fac2eda69b5fb1c54bb67e2986dfea04c1ac7a3d7db5b3f0 3267284 libcoq-coquelicot_3.2.0-1_amd64.deb
    Files:
    fa0a37126a77a0079ea7c3188b5059f7 2048 ocaml optional coquelicot_3.2.0-1.dsc
    ecabe7b5f5286064fd4bff35fcd42673 277736 ocaml optional coquelicot_3.2.0.orig.tar.gz
    ed4f7657e4188a67f376f7f858bc19c8 2080 ocaml optional coquelicot_3.2.0-1.debian.tar.xz
    f7c0faa013beadcfae9a75dd5b6efd37 7062 ocaml optional coquelicot_3.2.0-1_amd64.buildinfo
    619d57c06f7ce83729b76b758bc71872 3267284 ocaml optional libcoq-coquelicot_3.2.0-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ5VucSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR40EQAJtLyMwLbp92opmZbsulefQLIraVKSQc kF5Nf73tT0sXqVmFfnkyEAeuRCEXpaSlEYkV02ABm5LgUZtX4iHnTlEKInOzfdrY +A9fAFdbzdhLvQzVgQ48fJiuCBBrAn04Mg3zNPMLZnvbIqVon6osn+JcOPxeZiiO WY+9mYOVk4pq7AaK7MINUv25kC4chsSOmh4yWWmgCOle7IL8lcNj3FuGuyejG8yR pV4dPyZDdfpyfs5xZZb1GZUm5ROytcMrTMaV3BQUmiw7awaHiGZjv6ZVjs812/hx D3vTu0mM0N49UUVqgn/2rJNqVTWv+SezlOwtQN8dYML20vQpXKVh0lShkN+GfdTM XwaMEA6yRb1N86KF5wDPEuqFDPIIsEB8U/cxJv/GqI/K8Ig+giSVjQc1LK2d2ovw 0xq/KXMYFocokOVGL3/whLn660SftHPUZA77S/d2fOa/hGcHSmNCHHx+IH1HF1oV 5rHJ6gaybB+Adm0TCuY6pD1zbWcDmtSvMNhtG9VyeYNO2w5xa9CRTL8AX7kpYYiA zustZRVWi3QCDNX27O5NWXAxS/rYIE8oFrjZmKcpd3/RdnLhOe4Y5/1jsbmiVJKf O6WXgysEaoVQxho1JHrJlI1Ob5MtLnlKgc8JqJseEKl/TUM1912j2GFkVrpHzH8A
    pBCqU6+AB6hQ
    =YJzO
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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