[ubuntu/noble-proposed] coq-iris 4.1.0-1build2 (Accepted)

[Steve Langasek]

coq-iris (4.1.0-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:54:28 +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-iris/4.1.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:54:28 +0000
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.1.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-iris (4.1.0-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 4dc453ca83bd54cb3399e70ee5b4c59c1faaa636 2277 coq-iris_4.1.0-1build2.dsc
 e6acbe3d7e68e6b12e17eb11e322740ba19a83ec 12236 coq-iris_4.1.0-1build2.debian.tar.xz
 ef7ca0d042818fdf9e343f655625d0ec20fb3ead 6572 coq-iris_4.1.0-1build2_source.buildinfo
Checksums-Sha256:
 4b522e9ab4b78c1ef3e54d2c054055b815f2190b04bdbd2fd3908c534fa30932 2277 coq-iris_4.1.0-1build2.dsc
 2b27952bb5c6231addfa63f0a2de3e1f6c5694e5f37a2b02b40f1df52b862a6f 12236 coq-iris_4.1.0-1build2.debian.tar.xz
 d53645f6b3b97a7a3ff0ee2f8dedfa6f818ecb2b31e23ae28f2fef0ba54d0e12 6572 coq-iris_4.1.0-1build2_source.buildinfo
Files:
 e44b1e4a437062f5017764949ec3fa09 2277 ocaml optional coq-iris_4.1.0-1build2.dsc
 d71d572e7edc2a265ea1abbcc36c2fec 12236 ocaml optional coq-iris_4.1.0-1build2.debian.tar.xz
 04fcdd1355c4d348e16b629ce6597c55 6572 ocaml optional coq-iris_4.1.0-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>