[ubuntu/noble-proposed] coq-simple-io 1.8.0-4ubuntu1 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Sun Dec 24 07:59:09 UTC 2023


coq-simple-io (1.8.0-4ubuntu1) noble; urgency=low

  * Merge from Debian unstable. Remaining changes:
    - Use upstream proposed PR https://github.com/Lysxia/coq-simple-io/pull/63
      to fix the V exported value.

Date: Sun, 24 Dec 2023 08:57:47 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-simple-io/1.8.0-4ubuntu1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Dec 2023 08:57:47 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-4ubuntu1
Distribution: noble
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-simple-io (1.8.0-4ubuntu1) noble; urgency=low
 .
   * Merge from Debian unstable. Remaining changes:
     - Use upstream proposed PR https://github.com/Lysxia/coq-simple-io/pull/63
       to fix the V exported value.
Checksums-Sha1:
 71761ab531d887115646ea3690950929fab4a2fd 2154 coq-simple-io_1.8.0-4ubuntu1.dsc
 c82bc825688d70e33125e2157fea186a6d69e72f 3144 coq-simple-io_1.8.0-4ubuntu1.debian.tar.xz
 6366e9775b989365177c2caf4ab5f4a3503775f5 7825 coq-simple-io_1.8.0-4ubuntu1_source.buildinfo
Checksums-Sha256:
 06420b96e695f7b8bb11bcf0872cd7438c7fcfaa4bcee7647e1f66c2555e9688 2154 coq-simple-io_1.8.0-4ubuntu1.dsc
 f141d4eeb0703312d6f01f2280b57b754c50f05112f8376877c70c23171345d7 3144 coq-simple-io_1.8.0-4ubuntu1.debian.tar.xz
 0894b315ec026fc4b75a659b25e92886442cdeb4f357b7f7f649caf3415518c8 7825 coq-simple-io_1.8.0-4ubuntu1_source.buildinfo
Files:
 5523bbbc35608ed856e89e2f96cb64d4 2154 ocaml optional coq-simple-io_1.8.0-4ubuntu1.dsc
 3557b5a1689ae770b571761028766a64 3144 ocaml optional coq-simple-io_1.8.0-4ubuntu1.debian.tar.xz
 8116aac02924dd818442247dd4b39a96 7825 ocaml optional coq-simple-io_1.8.0-4ubuntu1_source.buildinfo


More information about the noble-changes mailing list