[ubuntu/noble-proposed] coq-unimath 20231010-1build2 (Accepted)

[Steve Langasek]

coq-unimath (20231010-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:56:14 +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-unimath/20231010-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:56:14 +0000
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20231010-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-unimath (20231010-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 1f27a83846d37297be46f7d3f6f1120333b5ff32 2224 coq-unimath_20231010-1build2.dsc
 d9014661a28ab9510c0c805386f4cc381d7e4581 2236 coq-unimath_20231010-1build2.debian.tar.xz
 5c48612ab263a131aeab985307ce572a53c5c01b 6596 coq-unimath_20231010-1build2_source.buildinfo
Checksums-Sha256:
 7b00cd1ed2ff121fc52386bdefdd6d5f2f86d5023dd657ce91646e179b7a4d58 2224 coq-unimath_20231010-1build2.dsc
 4b820de44b9c087a563737ca1c8ba2755ef7da9442036ed1194e9b721638a0c5 2236 coq-unimath_20231010-1build2.debian.tar.xz
 2f3d2ebc3aa0087abef65e44d23e09daa0ff313dda5be5147406185e58e91b92 6596 coq-unimath_20231010-1build2_source.buildinfo
Files:
 37d3be64d5227855bd924026e82f6b05 2224 ocaml optional coq-unimath_20231010-1build2.dsc
 2878a50dd95834dd649ae08c9a0cd2d4 2236 ocaml optional coq-unimath_20231010-1build2.debian.tar.xz
 18c8e6aa2c4f1799ad28ae57178e5c41 6596 ocaml optional coq-unimath_20231010-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>