[ubuntu/noble-proposed] coq-iris 4.0.0-4build4 (Accepted)

[Jeremy Bícha]

coq-iris (4.0.0-4build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:21:28 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-iris/4.0.0-4build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:21:28 -0500
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.0.0-4build4
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-iris (4.0.0-4build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 1e2ac2270c11a1a21395fec575c124106af1c026 2151 coq-iris_4.0.0-4build4.dsc
 91d56ff329d50a45e8c5e821aef002f1f9542bb7 12172 coq-iris_4.0.0-4build4.debian.tar.xz
 b585e5b89ceb6653cf4e9cea654a05e7e77cc185 7256 coq-iris_4.0.0-4build4_source.buildinfo
Checksums-Sha256:
 4b28d014c660422ddd24edc1381ecf3b6c18a7d8036a557c8d12fd52567c65c7 2151 coq-iris_4.0.0-4build4.dsc
 b31ecfcef84b1d0bb383a5579404c7383f4a313e82fb10d233982fa7fb316ec5 12172 coq-iris_4.0.0-4build4.debian.tar.xz
 0335f4d88d815b807dc2ca1b64b156dd9543a591f27c70c51607654ae4de2ec3 7256 coq-iris_4.0.0-4build4_source.buildinfo
Files:
 f4ed14484fb0c0d57c87148936cbf8c6 2151 ocaml optional coq-iris_4.0.0-4build4.dsc
 38b28e574f2d974738e63191df1a410c 12172 ocaml optional coq-iris_4.0.0-4build4.debian.tar.xz
 0279925a52bf3e9d79ba0c6660988e03 7256 ocaml optional coq-iris_4.0.0-4build4_source.buildinfo