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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 30 Jan 2025 22:22:22 +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-2build5
-------------- next part --------------
Format: 1.8
Date: Thu, 30 Jan 2025 22:22:22 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build5
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-2build5) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a0dbcb6bb2006201ba61f874212d15f1a022dde2 2063 hol-light_3.0.0-2build5.dsc
 3f0c0c3cbad35a3ae82910d5e41cb226a67fe496 11064 hol-light_3.0.0-2build5.debian.tar.xz
 1ee3799f35087b4ef20632f4c41e9e0a84dd7e83 7758 hol-light_3.0.0-2build5_source.buildinfo
Checksums-Sha256:
 ff56e870a552be82b6941b5bcf541b828a4f5dc5845d6009095051fab91110f2 2063 hol-light_3.0.0-2build5.dsc
 adfa5b16b7fb7af19030fab0d24854bfc0937f14b88db34872f5dfea0055da9d 11064 hol-light_3.0.0-2build5.debian.tar.xz
 f9386da20f5d8a5f95d70346d15ffbea6bed207352d0fe299b29ef6fb360330a 7758 hol-light_3.0.0-2build5_source.buildinfo
Files:
 43563d51c0c89dc3a266f1e25fddbfcd 2063 math optional hol-light_3.0.0-2build5.dsc
 3e0413f959686ee8a5754376b3d8869f 11064 math optional hol-light_3.0.0-2build5.debian.tar.xz
 824bbff0b5e0c10309867a3562b83718 7758 math optional hol-light_3.0.0-2build5_source.buildinfo