[ubuntu/mantic-proposed] coq-simple-io 1.8.0-3ubuntu2 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.8.0-3ubuntu2) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:13:00 +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-simple-io/1.8.0-3ubuntu2
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:13:00 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-3ubuntu2
Distribution: mantic
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-3ubuntu2) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0b286ef0cfcda96c204d68600826f7ce9504d820 2154 coq-simple-io_1.8.0-3ubuntu2.dsc
 b4a3447fab30cc3ebe58476febff8f244b0d1405 2460 coq-simple-io_1.8.0-3ubuntu2.debian.tar.xz
 3bfc81d67f3f02516440646733125e3588b2d124 7798 coq-simple-io_1.8.0-3ubuntu2_source.buildinfo
Checksums-Sha256:
 9d74e6661c6e132445d083ec4a8c9e4c34ab178bba722868559d6469ebd868ad 2154 coq-simple-io_1.8.0-3ubuntu2.dsc
 382eab349db908f739c680ef4a05e8f0ee52bcaf5b1d81a08d6bb78208b70529 2460 coq-simple-io_1.8.0-3ubuntu2.debian.tar.xz
 95970509531f14370e527c51d2ee184a73591dbc96cb9c561080f936fbf8c2d3 7798 coq-simple-io_1.8.0-3ubuntu2_source.buildinfo
Files:
 ee49a9d85ab9839b5479166fe565442f 2154 ocaml optional coq-simple-io_1.8.0-3ubuntu2.dsc
 19dd5c7f0ce874acfe74e3229cb328a0 2460 ocaml optional coq-simple-io_1.8.0-3ubuntu2.debian.tar.xz
 744060079478db7dea1dcfa6fc2a00bb 7798 ocaml optional coq-simple-io_1.8.0-3ubuntu2_source.buildinfo