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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 26 Jan 2025 09:09:29 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Sun, 26 Jan 2025 09:09:29 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build3
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-2build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 df9d324b08104545074fb4f3ef7757a27283d311 2063 hol-light_3.0.0-2build3.dsc
 53ffdc7f1803b7c20c6ff779a9aeffd65c96ec3f 10968 hol-light_3.0.0-2build3.debian.tar.xz
 8f5af617c9a6360cace2544f7964d873f502f578 7758 hol-light_3.0.0-2build3_source.buildinfo
Checksums-Sha256:
 b319ecc2eb4984f58bd90766aaf6d28923c53520484a26a8a64074c22df9b6ec 2063 hol-light_3.0.0-2build3.dsc
 56ff5eaf74b3c16f4d13d8cbfe5d0e6cca584e1304e60519d4e6261ad1b795de 10968 hol-light_3.0.0-2build3.debian.tar.xz
 959240fa4212bc166a10b5e79dfe1d7135c141106e2d66858daaa690936fd0d8 7758 hol-light_3.0.0-2build3_source.buildinfo
Files:
 1ad8330373f39b89679a0ed9bb2beb70 2063 math optional hol-light_3.0.0-2build3.dsc
 9b2942beff06bd4e9e518546c94dd153 10968 math optional hol-light_3.0.0-2build3.debian.tar.xz
 61180b226109235b93159988ee38023a 7758 math optional hol-light_3.0.0-2build3_source.buildinfo