[ubuntu/noble-proposed] coq-math-classes 8.18.0-1build2 (Accepted)

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


coq-math-classes (8.18.0-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:54:42 +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-math-classes/8.18.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:54:42 +0000
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18.0-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-math-classes (8.18.0-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 1a0f316bfe698a59a7b53b5889193d71fa575026 2279 coq-math-classes_8.18.0-1build2.dsc
 18678d33ae177e4a34cb28ae684860c993011808 3072 coq-math-classes_8.18.0-1build2.debian.tar.xz
 ce2626e2a2ae134d323efcdec11f02854cf8f4f0 6608 coq-math-classes_8.18.0-1build2_source.buildinfo
Checksums-Sha256:
 5f38cd123d752ebbd180f1f1b2cd80f6f219b795015bc9c5728606969716ec4c 2279 coq-math-classes_8.18.0-1build2.dsc
 416c51121c4443661f036d4099137091ef018e52552fd3687a7156e1fb9bbdf5 3072 coq-math-classes_8.18.0-1build2.debian.tar.xz
 8e70365e57ce27781e1c81b958e79f8893a7a32954e7f49eda69a1239c9f7ce1 6608 coq-math-classes_8.18.0-1build2_source.buildinfo
Files:
 171d512a1679b5f0e4c05695b83ab7be 2279 ocaml optional coq-math-classes_8.18.0-1build2.dsc
 3407c759af426b909c3062df66906932 3072 ocaml optional coq-math-classes_8.18.0-1build2.debian.tar.xz
 902c8f5b6d54ad7e327c22f323a584b4 6608 ocaml optional coq-math-classes_8.18.0-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the noble-changes mailing list