[ubuntu/noble-proposed] coq-mtac2 1.4+8.18-1build2 (Accepted)

[Steve Langasek]

coq-mtac2 (1.4+8.18-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:54:56 +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-mtac2/1.4+8.18-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:54:56 +0000
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+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-mtac2 (1.4+8.18-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 0a021da52fe21f1b97c31eee42a4389ae1b59074 2215 coq-mtac2_1.4+8.18-1build2.dsc
 e489547a6fad08eaccfd703acadffe53e2333db6 2896 coq-mtac2_1.4+8.18-1build2.debian.tar.xz
 c59954f70802746bd0e4d11a1c3492743e028dce 6588 coq-mtac2_1.4+8.18-1build2_source.buildinfo
Checksums-Sha256:
 cc1279b57415e43331547e6c8f0cdb8b85fe39a617eb4beac99970b812487e04 2215 coq-mtac2_1.4+8.18-1build2.dsc
 aa041af348c703bb6dfd61bbed806b2cd7a11ab4f07b748f3cb58dd6d85429e9 2896 coq-mtac2_1.4+8.18-1build2.debian.tar.xz
 d3dd7027676beac40e7385fdecac70e0e98a511985dc2bfbfacc8bd49dd25e97 6588 coq-mtac2_1.4+8.18-1build2_source.buildinfo
Files:
 9bfffa9c430ed854ff89c69dccf7ce1a 2215 ocaml optional coq-mtac2_1.4+8.18-1build2.dsc
 5a4843153958827fbaf424400074ee26 2896 ocaml optional coq-mtac2_1.4+8.18-1build2.debian.tar.xz
 91ff99a952562ab03197f8be935b0d13 6588 ocaml optional coq-mtac2_1.4+8.18-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>