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

Steve Langasek steve.langasek at ubuntu.com
Sun Mar 31 17:56:27 UTC 2024


coq-simple-io (1.8.0-4ubuntu3) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:55:44 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-simple-io/1.8.0-4ubuntu3
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:55:44 +0000
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-4ubuntu3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-simple-io (1.8.0-4ubuntu3) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 dd2719a0a8bca74b08fb7d45a469e009dfbb43f3 2270 coq-simple-io_1.8.0-4ubuntu3.dsc
 7c49f173e670ecd74007e1d40d6ceda1477fc096 3308 coq-simple-io_1.8.0-4ubuntu3.debian.tar.xz
 eb0bec979400c4436b8dbea58296379e59231bd4 6596 coq-simple-io_1.8.0-4ubuntu3_source.buildinfo
Checksums-Sha256:
 378907ed979775e69c6f5bad2bdc650d55b87b9d72fab2f391de7d5aa1c141bf 2270 coq-simple-io_1.8.0-4ubuntu3.dsc
 ff5d48aa84a2753989519df4cbde3d7d298c20603f26c23263ac973dd5681dc8 3308 coq-simple-io_1.8.0-4ubuntu3.debian.tar.xz
 d313ddbd522bb05a2d9b25722aa82a86e1409d0b0acc88e71c2adb6e0946a9dd 6596 coq-simple-io_1.8.0-4ubuntu3_source.buildinfo
Files:
 5f59cf84fdf8e84cee7fe38830da1d88 2270 ocaml optional coq-simple-io_1.8.0-4ubuntu3.dsc
 348d5f6d3f3a6772ebf812777dca067a 3308 ocaml optional coq-simple-io_1.8.0-4ubuntu3.debian.tar.xz
 5fd4f0548eaea4f9f658f1b0066b80e4 6596 ocaml optional coq-simple-io_1.8.0-4ubuntu3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the noble-changes mailing list