[ubuntu/lunar-proposed] coq-simple-io 1.8.0-1ubuntu2 (Accepted)

[Gianfranco Costamagna]

coq-simple-io (1.8.0-1ubuntu2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:13:59 +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-1ubuntu2
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:13:59 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-1ubuntu2
Distribution: lunar
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-1ubuntu2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4dc45cb46dcb7d1d598fdd1d3eb25bef06674293 2149 coq-simple-io_1.8.0-1ubuntu2.dsc
 1f39569b5553f6cb94a0aa085bb4d3c001f030b0 2208 coq-simple-io_1.8.0-1ubuntu2.debian.tar.xz
 f7aad4c903bf94400dc3f693b7d447e7d560f86e 7897 coq-simple-io_1.8.0-1ubuntu2_source.buildinfo
Checksums-Sha256:
 b6ec6a606413dd5831c4f9dd737cd5928aa3913174cafe3491ad24852ebbc5ea 2149 coq-simple-io_1.8.0-1ubuntu2.dsc
 9e8f63141a1bb9f9692622242ae4639590865b75a7c55c793cabdd24df8151d8 2208 coq-simple-io_1.8.0-1ubuntu2.debian.tar.xz
 c9fea9601d6f39c033fd7e050023604dad8c01c47ccfba92920c242ba07131dd 7897 coq-simple-io_1.8.0-1ubuntu2_source.buildinfo
Files:
 9cad1aa4048548841a46e61f400dc92c 2149 ocaml optional coq-simple-io_1.8.0-1ubuntu2.dsc
 b209ee554406e7be906f10afd5a41f35 2208 ocaml optional coq-simple-io_1.8.0-1ubuntu2.debian.tar.xz
 5d199202b1d2dd2791b1ebda238d2696 7897 ocaml optional coq-simple-io_1.8.0-1ubuntu2_source.buildinfo