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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 12:56: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-1ubuntu3
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 12:56:59 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-1ubuntu3
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-1ubuntu3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7a4e347b2514f9ecee5568e6d8b6556c5aea0b6b 2149 coq-simple-io_1.8.0-1ubuntu3.dsc
 dac28adf97f4266de0c383618a13f34ccf7e2ea7 2224 coq-simple-io_1.8.0-1ubuntu3.debian.tar.xz
 3c79f2a2546263294167838bfb6ac88979f4c282 7899 coq-simple-io_1.8.0-1ubuntu3_source.buildinfo
Checksums-Sha256:
 e42a5e7c70770e544f817cbd1c1a3ea2bd233238de8863e5b4178d4502e0dd49 2149 coq-simple-io_1.8.0-1ubuntu3.dsc
 b2fb03716138892d36b1f250c6e4dd8a6bfacff23d847d1d036e2735bcb8ea38 2224 coq-simple-io_1.8.0-1ubuntu3.debian.tar.xz
 06acaca1623b9def25599eb7788aa7f5633771f17f1e06ac933c8ea530fac141 7899 coq-simple-io_1.8.0-1ubuntu3_source.buildinfo
Files:
 b259765e9e87bef79385a96ef6d6b386 2149 ocaml optional coq-simple-io_1.8.0-1ubuntu3.dsc
 c255be9e5d2a8982c50378754efcef68 2224 ocaml optional coq-simple-io_1.8.0-1ubuntu3.debian.tar.xz
 2234a62faafae86296e30b97dedb6e28 7899 ocaml optional coq-simple-io_1.8.0-1ubuntu3_source.buildinfo