[ubuntu/noble-proposed] coq-interval 4.9.0-1build4 (Accepted)

Steve Langasek steve.langasek at ubuntu.com
Sun Mar 31 17:55:14 UTC 2024


coq-interval (4.9.0-1build4) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:54:21 +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-interval/4.9.0-1build4
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:54:21 +0000
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.9.0-1build4
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-interval (4.9.0-1build4) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 d09c7a5d55207eaa2246e9c696f202ef45b1fa0a 2302 coq-interval_4.9.0-1build4.dsc
 194c6408073e327128438070d65ba7e2fd56e538 9440 coq-interval_4.9.0-1build4.debian.tar.xz
 acbb77c17c2138a36140736565948ec20e8c860e 6588 coq-interval_4.9.0-1build4_source.buildinfo
Checksums-Sha256:
 1bd217d5a840fe836a0d0283b42029a14e03be85904b962c64b363a7a003f42b 2302 coq-interval_4.9.0-1build4.dsc
 8eb950ebad4493135c4f049461b2229016cc3c8bfbb3e528a8b490b6d0e167bd 9440 coq-interval_4.9.0-1build4.debian.tar.xz
 3406813c4b3d891bb56a55fe23c7df72139efcf2a0c12093789fe35c17078915 6588 coq-interval_4.9.0-1build4_source.buildinfo
Files:
 e29e125f55b6b79c8788ec5392089a41 2302 ocaml optional coq-interval_4.9.0-1build4.dsc
 b23fa2e6a6ecd29b50bc23bbe38b103b 9440 ocaml optional coq-interval_4.9.0-1build4.debian.tar.xz
 4964f595defe0f5fe7977fddbbfad324 6588 ocaml optional coq-interval_4.9.0-1build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the noble-changes mailing list