[ubuntu/noble-proposed] coq-libhyps 2.0.8-1build3 (Accepted)

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


coq-libhyps (2.0.8-1build3) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:54:36 +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-libhyps/2.0.8-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:54:36 +0000
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-1build3
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-libhyps (2.0.8-1build3) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 e02232536178dcf8ec4c1eba27b680a1c6d1d948 2187 coq-libhyps_2.0.8-1build3.dsc
 184ea84da459309751c1932bcca8b36a1b033206 2280 coq-libhyps_2.0.8-1build3.debian.tar.xz
 b74ffb8e8ee94d1d544074f6017fbd6f0ff95119 6584 coq-libhyps_2.0.8-1build3_source.buildinfo
Checksums-Sha256:
 a37e4de819b138d179bdab99cb8b0904ed74b8a2a28b5cd6ae98b3e4b6830970 2187 coq-libhyps_2.0.8-1build3.dsc
 75ca1a67c3ac0b07b5c749db3f764396d7f52683375975f1a344b110f29ee79d 2280 coq-libhyps_2.0.8-1build3.debian.tar.xz
 df0fc8e4d51e065aafcd5d303bffd67b504b1ff632c6d46d3b19f322c7b812c3 6584 coq-libhyps_2.0.8-1build3_source.buildinfo
Files:
 e4a6c720fe55fc4664bdeb4837395b93 2187 ocaml optional coq-libhyps_2.0.8-1build3.dsc
 e8f63febf241e99aa26e90902cfdf7bc 2280 ocaml optional coq-libhyps_2.0.8-1build3.debian.tar.xz
 20562fe41af13e732c82968783ff85e8 6584 ocaml optional coq-libhyps_2.0.8-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the noble-changes mailing list