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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:36:10 +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-2build6
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:36:10 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build6
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-2build6) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 98b217d00908a4a79cd6774b20dfcca18574ea66 2063 hol-light_3.0.0-2build6.dsc
 ad66d7d3dbe5e6993f82980f3aafff0b1e97237d 11084 hol-light_3.0.0-2build6.debian.tar.xz
 ce1b8d3d6dd52c10dcaa5b7e285ebc8159906ad8 7297 hol-light_3.0.0-2build6_source.buildinfo
Checksums-Sha256:
 2b7f4088d1054c7630f2a4cd7f21fe7cb26168c49a5ba8487f895338afa41e36 2063 hol-light_3.0.0-2build6.dsc
 017ae7e662f8a0de2775f54a46f014830e60facba3e3236371858ecf0b048392 11084 hol-light_3.0.0-2build6.debian.tar.xz
 7889caf93f67e005c84d0a8e40cf430dbfdb244b6f4dd58bd22b787cc2c367f5 7297 hol-light_3.0.0-2build6_source.buildinfo
Files:
 125f3704844809d9fb24b195b726f263 2063 math optional hol-light_3.0.0-2build6.dsc
 9acb8cb564f3e9cc2629213058b3eb49 11084 math optional hol-light_3.0.0-2build6.debian.tar.xz
 1b158e29e017de88bddc8e6900fd5613 7297 math optional hol-light_3.0.0-2build6_source.buildinfo