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

  • flocq_4.1.0-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Wed Jun 29 20:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 29 Jun 2022 14:17:52 +0200
    Source: flocq
    Binary: libcoq-flocq
    Architecture: source amd64
    Version: 4.1.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-flocq - Floating-point arithmetic for Coq
    Closes: 1014048
    Changes:
    flocq (4.1.0-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1014048)
    Checksums-Sha1:
    3fa2a9574a68df478a05de7420c9000439189a3e 2016 flocq_4.1.0-1.dsc
    21449f2922ef3ecb6e53bbfab0de3ec24bab42c3 333149 flocq_4.1.0.orig.tar.bz2
    949dfe30d3c13e957ba70b3cd9e6f9fe16ff699e 1484 flocq_4.1.0-1.debian.tar.xz
    5f1d9599037aed77ad767c6d1c3678404b6d4046 7093 flocq_4.1.0-1_amd64.buildinfo
    5f253996ef56e78cf457597a5bf2c0a8bb02c05e 3270468 libcoq-flocq_4.1.0-1_amd64.deb
    Checksums-Sha256:
    65ae485a2d0bc6e59af7768d5448a75b20bb283dcf643d6216818280c0b1d017 2016 flocq_4.1.0-1.dsc
    0a73d9ad143c4022e818a6df20a4cf5a4c173e24c36585f4f2ddd24af4964fba 333149 flocq_4.1.0.orig.tar.bz2
    78df3f8397c392865b23be3343e7ecc49ad19fe6507fb1a7025950375fb6aa0f 1484 flocq_4.1.0-1.debian.tar.xz
    341fc9e6d1fcd48d33bb15423b3e108361d9fdbffc1d69fa75d077afbb53d7f1 7093 flocq_4.1.0-1_amd64.buildinfo
    f099aade5f3c86290f06045c032ca6044136ffce16c445190235a0d3c0f3bf7c 3270468 libcoq-flocq_4.1.0-1_amd64.deb
    Files:
    3b46a121c51d073dcc7bcd24b7402210 2016 ocaml optional flocq_4.1.0-1.dsc
    e7148b368a70f81feb3726f72c600b15 333149 ocaml optional flocq_4.1.0.orig.tar.bz2
    566bc925f6d6e8738ed6454ba3a8272d 1484 ocaml optional flocq_4.1.0-1.debian.tar.xz
    23dcc2d9a96bc3b3018420389131141b 7093 ocaml optional flocq_4.1.0-1_amd64.buildinfo
    b8c3e09f4a2e6de82775d9c9d8ac3e6e 3270468 ocaml optional libcoq-flocq_4.1.0-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK8RHESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR930QAJKUM31Ia/rFJuaHh6cXAGFKH135Eq8t jGkFsGYyL8Ie2+C4qyyZh7ftWLFKFy+u0st7SB5X7vWVSe/a41CUxEeI+McXrwhZ qB0nJr5XpvcRayVQZbpGAE9iinG2mtkFXwq4oVvCJFZDWUn/4uIWDCZeWj5U6LsB FDmG7jqoPlUM8lrQOy8Mpp6Vla6Ad5GaiF9QG7mauO3yO/KfYf27GbH8K/hmU5wH 5o3oHHfQj1bsIAgj3TLrIiWLxaNKETLk9oAMLV5sGKlh/bcI4e+YzCy3wz4PMctk rmcP7eYYFImtk07fosKQIYYYWOfFXaWDTzRhUVNL7JLuwmxVEo4kh0fMC7UJvPq7 6y4zd48zXiGvDs526WAvqs+by1PQ+acFJn9+n5tqPAgc/reH7JT4MGiguEz3m4pn AeVh1i77h3ZNHVpL7hejcPW6qxJRaZWUUF1rxEO/ufkT9Ja2DH1Lbdb2HR+dTfms 7pdU4JB6e4SVoO8epQ8PUkhFjttWWr4jfphi76bXIghu/jvRVO/sU3fYYy0aouhV rT3CvPLIsSSldxgqWk+pKhBRNADe0yk/P6H9i8eYOKUFiybOxwIxBDmeYpvuH5ZG 3jdMhp/fXye6vzR/xJoewyHTUUkloAmpHH/oPW8TvLhPib+jCyGWOj/d69+W8S6j
    7EiwtrR+Hwvf
    =d2jy
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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