[ubuntu/resolute-proposed] hol-light 1:3.0.0-2build11 (Accepted)

[Gianfranco Costamagna]

hol-light (1:3.0.0-2build11) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:43:49 +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/hol-light/1:3.0.0-2build11
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:43:49 +0200
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build11
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 hol-light (1:3.0.0-2build11) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c530d7c3f89137677905958e5ed1577b09ec6181 2067 hol-light_3.0.0-2build11.dsc
 89a62df6e7c225df6959fcb8283b1c9b3d21f287 11176 hol-light_3.0.0-2build11.debian.tar.xz
 4ea57a156e357881fe6fc08df7465809694f75b7 7012 hol-light_3.0.0-2build11_source.buildinfo
Checksums-Sha256:
 b68f155c985e536906c1ff39771a7e1ed9917b244b763069b0814f5f35dfaf11 2067 hol-light_3.0.0-2build11.dsc
 e8f0d3fb74811e6e3445e7149d1dfd8b12abe9b2a966df931c5fa2770aaf3b1a 11176 hol-light_3.0.0-2build11.debian.tar.xz
 2c881802031ca20570932219f62ee77473a368a7c1388f0ce9a93d7a5a26cea4 7012 hol-light_3.0.0-2build11_source.buildinfo
Files:
 75ba912aa7e66f5f3b89c805aecb9f66 2067 math optional hol-light_3.0.0-2build11.dsc
 1a753c7aa24223dc579435f46f923785 11176 math optional hol-light_3.0.0-2build11.debian.tar.xz
 bf4d74bd6bac84790e1205362da5170d 7012 math optional hol-light_3.0.0-2build11_source.buildinfo