[ubuntu/oracular-proposed] coq-iris 4.2.0-3build2 (Accepted)

[Matthias Klose]

coq-iris (4.2.0-3build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 09:04:15 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-iris/4.2.0-3build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 09:04:15 +0200
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.2.0-3build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-iris (4.2.0-3build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 67588ef2767d7747a26bdc36c559918402f1a0ac 2161 coq-iris_4.2.0-3build2.dsc
 8f368f7be1981e97afcf95ee7fc1bc702d09ba0b 12776 coq-iris_4.2.0-3build2.debian.tar.xz
 1ff0a2401830e3177b14d0e6561ef17b04b8b848 5688 coq-iris_4.2.0-3build2_source.buildinfo
Checksums-Sha256:
 56ec45916c0676dbc2e5136c14f1ee2fe13ea2c6d482f8d65aaf1e8ab00b6149 2161 coq-iris_4.2.0-3build2.dsc
 ff8bad7cece9b31bef319d7d566560d72855166c83264b98e56a16bacaca0a2e 12776 coq-iris_4.2.0-3build2.debian.tar.xz
 456d1f1cde47a981a23ebe252eb3e399d1b78f5ba9c5ba7bb90794bb3936a9c7 5688 coq-iris_4.2.0-3build2_source.buildinfo
Files:
 ef014981077c421c699ca203967fd87e 2161 ocaml optional coq-iris_4.2.0-3build2.dsc
 720a035eb63a196e57305b61f3002fc2 12776 ocaml optional coq-iris_4.2.0-3build2.debian.tar.xz
 1f0b1c2ab4f3056f52af1b19a1b9e5cf 5688 ocaml optional coq-iris_4.2.0-3build2_source.buildinfo