[ubuntu/plucky-proposed] coq-iris 4.3.0-1build1 (Accepted)

[Jeremy Bícha]

coq-iris (4.3.0-1build1) plucky; urgency=medium

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:22:08 -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.3.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:22:08 -0500
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.3.0-1build1
Distribution: plucky
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.3.0-1build1) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 6adfbd124e6aa2853ae9d8d1fa421f6eb380f195 2164 coq-iris_4.3.0-1build1.dsc
 e550a0c0de9d0df53c01acb6d8a4f2e87157c7b3 12732 coq-iris_4.3.0-1build1.debian.tar.xz
 5370a0ace943ebf892cd3d74095fab13aacaa39d 7046 coq-iris_4.3.0-1build1_source.buildinfo
Checksums-Sha256:
 5116c2201806b630f96d9ca9c12926aa197c16971ba2f831a17dff4f3ceec11c 2164 coq-iris_4.3.0-1build1.dsc
 ce0f7687d116f42e20d7a2ecf5e09d146d75d482f38cf603793b362c32452205 12732 coq-iris_4.3.0-1build1.debian.tar.xz
 324330d5ad00b86862f9b36ff6c7e4363d2801ba7f3fce63bd8027e52a9790b2 7046 coq-iris_4.3.0-1build1_source.buildinfo
Files:
 f03422d172f68ac70650d02c7c2f4300 2164 ocaml optional coq-iris_4.3.0-1build1.dsc
 b8d6d58be8b1b9b62867f4d12841d430 12732 ocaml optional coq-iris_4.3.0-1build1.debian.tar.xz
 0f8865974e0ddf0d286e80e551e87b61 7046 ocaml optional coq-iris_4.3.0-1build1_source.buildinfo