[ubuntu/noble-proposed] coq-simple-io 1.8.0-4ubuntu4 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.8.0-4ubuntu4) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:18:22 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-simple-io/1.8.0-4ubuntu4
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:18:22 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-4ubuntu4
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-simple-io (1.8.0-4ubuntu4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7721bf956bb8686bf4075d81fdfa6658e8e4ecbd 2233 coq-simple-io_1.8.0-4ubuntu4.dsc
 9b8c6a0cafbb6ae429e7c6e3bccc4fb3e67e0487 3328 coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz
 5ac960b6707e8305aee13eae7529e6b27596ca30 7844 coq-simple-io_1.8.0-4ubuntu4_source.buildinfo
Checksums-Sha256:
 e948929bd725d8ac589fd6e1a97ca794b801e5cf31725898566491589800ec57 2233 coq-simple-io_1.8.0-4ubuntu4.dsc
 575230e25679e049d8818892aa92b9646f23f6e2329c62a00b2be73d34c7cd06 3328 coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz
 65e53a1311f65076b5e4bfe17ea05907ac54458ce46eb70e0962f02d69192202 7844 coq-simple-io_1.8.0-4ubuntu4_source.buildinfo
Files:
 767c44b7f9c410d23ef823771e0655ea 2233 ocaml optional coq-simple-io_1.8.0-4ubuntu4.dsc
 43f99f7ae531e62372b343ac04afbc0f 3328 ocaml optional coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz
 2a317ae1b238628549e3f1104877188f 7844 ocaml optional coq-simple-io_1.8.0-4ubuntu4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>