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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 09:14:56 +0100
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-simple-io/1.8.0-3ubuntu4
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 09:14:56 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-3ubuntu4
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-simple-io (1.8.0-3ubuntu4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 436f1668bf17c0a7037db7933e42364fa3980acb 2154 coq-simple-io_1.8.0-3ubuntu4.dsc
 aed66050ba42eac8bb59ac06baae1ef4ffa3f58c 2488 coq-simple-io_1.8.0-3ubuntu4.debian.tar.xz
 9e791883023198e6992bdb4cffabad1934060540 7824 coq-simple-io_1.8.0-3ubuntu4_source.buildinfo
Checksums-Sha256:
 7a60de85f96f4e0de7a07924d676ce523867535c892e04457c2b3dc24745ad97 2154 coq-simple-io_1.8.0-3ubuntu4.dsc
 c0acd74f3287ba5f3ca56bacced060df38c3c5f75cc17a4252be6ec185c68392 2488 coq-simple-io_1.8.0-3ubuntu4.debian.tar.xz
 cad827ba4dbdcfc509f06ead2ccc5f4c45c7e27b24ade61611ce68f4bf4ff0c6 7824 coq-simple-io_1.8.0-3ubuntu4_source.buildinfo
Files:
 8be12019b21046a3da18a0805708a4ae 2154 ocaml optional coq-simple-io_1.8.0-3ubuntu4.dsc
 fe1ab588d1bc70789ed50d09bcf9e011 2488 ocaml optional coq-simple-io_1.8.0-3ubuntu4.debian.tar.xz
 31f0996c383fbedd879a2880f536a8f9 7824 ocaml optional coq-simple-io_1.8.0-3ubuntu4_source.buildinfo