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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 13 Mar 2025 18:43:55 +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-2build7
-------------- next part --------------
Format: 1.8
Date: Thu, 13 Mar 2025 18:43:55 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build7
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-2build7) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 09646ebfebbce0d41dd0d034671643690b6b04ca 2063 hol-light_3.0.0-2build7.dsc
 482a9164463068fd5f9fcdf7a8e93a60a2ce4d8d 11104 hol-light_3.0.0-2build7.debian.tar.xz
 375a2602f2146c2208f4790bc4d3168a5ed2f92b 6994 hol-light_3.0.0-2build7_source.buildinfo
Checksums-Sha256:
 e6c9ba9beb9026364d9049874292b104e568130520d80d3d41b492e672ab8551 2063 hol-light_3.0.0-2build7.dsc
 4ccf054a81d993cfbf1ab87543b58c2e80b77a37aedc9a63e43b2d2d67036f79 11104 hol-light_3.0.0-2build7.debian.tar.xz
 8ef5d41fac7c86a4951a861f3b749bff47a4d5c7f50f33a2862d43d8b19f79a7 6994 hol-light_3.0.0-2build7_source.buildinfo
Files:
 70700f3a8acfec92eb32475804571bb4 2063 math optional hol-light_3.0.0-2build7.dsc
 3c64a7f318b66d67d54648eea42cd6ff 11104 math optional hol-light_3.0.0-2build7.debian.tar.xz
 605a61a54bf830abb0ec76105b175d78 6994 math optional hol-light_3.0.0-2build7_source.buildinfo