[ubuntu/noble-proposed] coq-extructures 0.4.0-1build4 (Accepted)

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


coq-extructures (0.4.0-1build4) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:53:46 +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-extructures/0.4.0-1build4
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:53:46 +0000
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.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-extructures (0.4.0-1build4) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 53cfe1c2952f80ac9c691c6fb0a95af8d22eebd5 2281 coq-extructures_0.4.0-1build4.dsc
 a9ccaa18fece5ff8cc5d6139ccef1e270a73969d 2468 coq-extructures_0.4.0-1build4.debian.tar.xz
 4c384c1bd6648d1a670304dcd378d336e1cbea3a 6600 coq-extructures_0.4.0-1build4_source.buildinfo
Checksums-Sha256:
 10aaab773f543eb666ed6eda69db84d24714d8382316f9616e2a003046f97589 2281 coq-extructures_0.4.0-1build4.dsc
 4a0c21c1ff090fc756e658b09240cbebfe9c616c2ecd5c90f906110389da59cc 2468 coq-extructures_0.4.0-1build4.debian.tar.xz
 1b298cd9ad6c4497d6524878426e1d88f422e79487bd9ae19758a930f53120d3 6600 coq-extructures_0.4.0-1build4_source.buildinfo
Files:
 c54ce5c6f4eac684b02b26df9400fc3a 2281 ocaml optional coq-extructures_0.4.0-1build4.dsc
 071830710ef14e47dbe35625e1af6f30 2468 ocaml optional coq-extructures_0.4.0-1build4.debian.tar.xz
 12e1ad7d3ed6dc226023cf64921996ae 6600 ocaml optional coq-extructures_0.4.0-1build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the noble-changes mailing list