[ubuntu/plucky-proposed] hol-light 1:3.0.0-2build2 (Accepted)

[Gianfranco Costamagna]

hol-light (1:3.0.0-2build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:26:30 +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/hol-light/1:3.0.0-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:26:30 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build2
Distribution: plucky
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-2build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 56fb049fda81ff36c5f122cd039f3671f5804f14 2063 hol-light_3.0.0-2build2.dsc
 0d59b8996596efefafe739ae84f1a7ce0a97058c 10960 hol-light_3.0.0-2build2.debian.tar.xz
 cc618317737d5ae51cedf8b3ed32ce5c15d7b201 7758 hol-light_3.0.0-2build2_source.buildinfo
Checksums-Sha256:
 4996bf23a6a894dcc9863ac0a746396f565c4f7980c904c2dfdd13738268b4c1 2063 hol-light_3.0.0-2build2.dsc
 b6f0311601a77973a9768787e1ba9033a2159cda08d3b924f5768e4e0737dd3c 10960 hol-light_3.0.0-2build2.debian.tar.xz
 856c35845509adad6101e5b594b9524dcb10139a55ab76261b0a49dfb594e7b7 7758 hol-light_3.0.0-2build2_source.buildinfo
Files:
 d01be1f6c6460585a77161a084c1062b 2063 math optional hol-light_3.0.0-2build2.dsc
 8443c0addced8ee6141677839406b544 10960 math optional hol-light_3.0.0-2build2.debian.tar.xz
 79f5e2e20471a3b4b777a40c632ac2b3 7758 math optional hol-light_3.0.0-2build2_source.buildinfo