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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 02 Jan 2025 18:04:46 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 Jan 2025 18:04:46 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build1
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-2build1) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2abc4c95adb2503a8f5aefc5ba0141f2c5073ed3 2063 hol-light_3.0.0-2build1.dsc
 1c62b79d7847efb9dee29cb92e41cbfadbc390ef 10956 hol-light_3.0.0-2build1.debian.tar.xz
 cc8ff0558edfa8dca399733184fe68f98024192d 7671 hol-light_3.0.0-2build1_source.buildinfo
Checksums-Sha256:
 8ae02772d13677a03884019346919ce19b7a011867a13a33404b6536a3ce7b86 2063 hol-light_3.0.0-2build1.dsc
 388c5353c4716d2a3427f511448215c12f91771113bdd122ce630b4fefc1819d 10956 hol-light_3.0.0-2build1.debian.tar.xz
 d77876513fdcca7ead4996e53fbb3236af767e2a7b800f155239ccc98b6e134d 7671 hol-light_3.0.0-2build1_source.buildinfo
Files:
 8c69078e2d9a9775d1e98c85d9da68da 2063 math optional hol-light_3.0.0-2build1.dsc
 fb8b70240830688c042e97dbf94693f0 10956 math optional hol-light_3.0.0-2build1.debian.tar.xz
 67aa2b2bcd41681a164884579d72dd22 7671 math optional hol-light_3.0.0-2build1_source.buildinfo