[ubuntu/noble-proposed] coq-iris 4.1.0-1build1 (Accepted)

[Steve Langasek]

coq-iris (4.1.0-1build1) noble; urgency=medium

  * No-change rebuild for new coq-stdpp ABI

Date: Mon, 25 Mar 2024 18:28:00 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-iris/4.1.0-1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 25 Mar 2024 18:28:00 +0000
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.1.0-1build1
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-iris (4.1.0-1build1) noble; urgency=medium
 .
   * No-change rebuild for new coq-stdpp ABI
Checksums-Sha1:
 15e27558b729ff8b10108a6aeac0febea32fb0a5 2277 coq-iris_4.1.0-1build1.dsc
 91a455e62231009af32220b4fb97f79328f78bf7 12196 coq-iris_4.1.0-1build1.debian.tar.xz
 af4c374266f281539ee1d05e93f7e1876b7409aa 6821 coq-iris_4.1.0-1build1_source.buildinfo
Checksums-Sha256:
 61c25eed23869b4ba09ff733dce3a596564eea8749417686ba3e91406422d7a9 2277 coq-iris_4.1.0-1build1.dsc
 39c38a0f828f1c8624fb1742b3b7c63116e3470037b22c05f26dd03f1f49471d 12196 coq-iris_4.1.0-1build1.debian.tar.xz
 76ab7607cb67a7721f71a30856dc742a74507e35e912caec47f0cccff0cb88a7 6821 coq-iris_4.1.0-1build1_source.buildinfo
Files:
 93b3302375f96378662d96c725890a02 2277 ocaml optional coq-iris_4.1.0-1build1.dsc
 472af80e06f3a028760c056785bfbb7a 12196 ocaml optional coq-iris_4.1.0-1build1.debian.tar.xz
 f4fa98e0b1bbc39b9a6790b139b97529 6821 ocaml optional coq-iris_4.1.0-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>