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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 19:20:19 +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-3build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 19:20:19 +0200
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.2.0-3build3
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-3build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 98d598ef4b5d6b22da8055ce4b697a2012522dd0 2161 coq-iris_4.2.0-3build3.dsc
 47a3942523f89f20d773a6f2c0cc6f8da926d559 12772 coq-iris_4.2.0-3build3.debian.tar.xz
 2ac1febc082933933db6f921a25d852d18884643 5688 coq-iris_4.2.0-3build3_source.buildinfo
Checksums-Sha256:
 1bce69ce5cfdb4f321f5cfcc1f6645e140c16b917c4064d41568c0896ab4ad66 2161 coq-iris_4.2.0-3build3.dsc
 13bf8f622cde2899e5cc34435061d1e78e0c4296fcab18bde8a00c7047224cdc 12772 coq-iris_4.2.0-3build3.debian.tar.xz
 24d4e4ae7407ca4fedcf70c37835940eb96b97903c88a5e6c6a5d593f9fbe5fe 5688 coq-iris_4.2.0-3build3_source.buildinfo
Files:
 361f15e648d93eb6724f4090b51a4295 2161 ocaml optional coq-iris_4.2.0-3build3.dsc
 793426e81f63ede0c95d7ff66dbbfca1 12772 ocaml optional coq-iris_4.2.0-3build3.debian.tar.xz
 8ef8206a06fea32b9715496f16019bce 5688 ocaml optional coq-iris_4.2.0-3build3_source.buildinfo