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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:40:47 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-iris/4.2.0-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:40:47 +0200
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.2.0-3build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-iris (4.2.0-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 61d66c7b8b19b3d4525d71b01b2b0cfcfb6e667e 2161 coq-iris_4.2.0-3build1.dsc
 69ef5c18280680f5c71a14bb39fd553cfc7356bc 12712 coq-iris_4.2.0-3build1.debian.tar.xz
 b40d0ce469189356a3261734f9e609cfd14cd9a0 10939 coq-iris_4.2.0-3build1_source.buildinfo
Checksums-Sha256:
 bc8e5af1f9434457f6128f2e4be47030bb42b35ffe6d448a2d1f3ad32fb9c088 2161 coq-iris_4.2.0-3build1.dsc
 347af4ae8946194c6072ac8ac349aa34b8e3ccfea3ed1b129557e7d2a10a8b67 12712 coq-iris_4.2.0-3build1.debian.tar.xz
 c819064681ebc4cd065168e8b08ed8081c6f6fdf9597278ead9a778f1fd38204 10939 coq-iris_4.2.0-3build1_source.buildinfo
Files:
 88f739eaadf5e16f307d0d91308102f9 2161 ocaml optional coq-iris_4.2.0-3build1.dsc
 2c3f7f84b98f879f8b88145a8ca52984 12712 ocaml optional coq-iris_4.2.0-3build1.debian.tar.xz
 4f49f586217cc126935e7dcf06edf26f 10939 ocaml optional coq-iris_4.2.0-3build1_source.buildinfo