[ubuntu/noble-proposed] coq-hammer 1.3.2+8.18-1build2 (Accepted)

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


coq-hammer (1.3.2+8.18-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:54:00 +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-hammer/1.3.2+8.18-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:54:00 +0000
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.18-1build2
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-hammer (1.3.2+8.18-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 84f6feeb89b77521a01106d6f3bb3b4e3d5b2d6f 2227 coq-hammer_1.3.2+8.18-1build2.dsc
 f5601e49cb65ee546c6ee3b3c695cd57d9e3ec1c 2720 coq-hammer_1.3.2+8.18-1build2.debian.tar.xz
 86970a70c289ea55435de300561a176ce24032df 6600 coq-hammer_1.3.2+8.18-1build2_source.buildinfo
Checksums-Sha256:
 b2a19a90a19a895897d3dafd204d71c44b86d97e83f933828bd221384fd147a3 2227 coq-hammer_1.3.2+8.18-1build2.dsc
 445d6ae79bf49e2f00a379d713839a351d8a1b81674df0bcf1d5c0c23d9d3101 2720 coq-hammer_1.3.2+8.18-1build2.debian.tar.xz
 ba34812a944c7f7c6c3ff46535f59d45b115861ab8903acd59eaf564a839d7fd 6600 coq-hammer_1.3.2+8.18-1build2_source.buildinfo
Files:
 ed6f8a31cf90d9257f053edf8f52ae62 2227 ocaml optional coq-hammer_1.3.2+8.18-1build2.dsc
 6ff80fa211c2818acef3c6007ddc9ece 2720 ocaml optional coq-hammer_1.3.2+8.18-1build2.debian.tar.xz
 2aeb23a9e2b32a5a229bec19f86a9cbe 6600 ocaml optional coq-hammer_1.3.2+8.18-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the noble-changes mailing list