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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Tue, 18 Feb 2025 20:54: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.3.0-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 20:54:28 -0500
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.3.0-1build3
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-1build3) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 75ff61dba89297ba3cff9fca107437e05fbb2731 2164 coq-iris_4.3.0-1build3.dsc
 5cf82cf69141c5f78eb329742c77baca0c7044b0 12808 coq-iris_4.3.0-1build3.debian.tar.xz
 86724947d81fbf764d33d04351bbec3d9290418a 7022 coq-iris_4.3.0-1build3_source.buildinfo
Checksums-Sha256:
 e51d85b51c33636e012b11432d494c323bf978c57a14a517b9da11603aaa7fc9 2164 coq-iris_4.3.0-1build3.dsc
 5edb7c29c9c44ec669485a13aeca4652e67e2fcce5db17b5ccc6f6b6feeb223b 12808 coq-iris_4.3.0-1build3.debian.tar.xz
 7132cec252e37219054e4fe05826c1206586eaa933d6b9f2c370a036c0bdc1e3 7022 coq-iris_4.3.0-1build3_source.buildinfo
Files:
 89d68b3775798800141f3a9799fbd283 2164 ocaml optional coq-iris_4.3.0-1build3.dsc
 fcb0ecdaf1c9ab1b3399fb3d18a8c729 12808 ocaml optional coq-iris_4.3.0-1build3.debian.tar.xz
 801435cd7b2f5f2e069cf3e77a3881ef 7022 ocaml optional coq-iris_4.3.0-1build3_source.buildinfo