[ubuntu/noble-proposed] hol-light 20231021-1build2 (Accepted)

[Gianfranco Costamagna]

hol-light (20231021-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:23:04 +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/20231021-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:23:04 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-1build2
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 hol-light (20231021-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 2732f3bbf6788377c12c7ee156592eb1ff504d4f 2061 hol-light_20231021-1build2.dsc
 a4ed34851735c7685efd5e95a4c351613e46e60d 10944 hol-light_20231021-1build2.debian.tar.xz
 19779839f36a470a46874575ad1fbb393610719b 7819 hol-light_20231021-1build2_source.buildinfo
Checksums-Sha256:
 04e7af414834eb36575a4aa54b157329867defe732d7e9cc8b982b3fb7b3a66e 2061 hol-light_20231021-1build2.dsc
 a9962ddcd4cdbeba6df7ed193fde4b5213c60788f922f8aab499e47f14b0d31e 10944 hol-light_20231021-1build2.debian.tar.xz
 04a59aa47363b6401ddcba34515c4267da10833f30a1f6af6abb6578f071be9c 7819 hol-light_20231021-1build2_source.buildinfo
Files:
 5502878d69398743b7ccbf2bc51dd7c0 2061 math optional hol-light_20231021-1build2.dsc
 e2a0d8fa2402fa7b8a855abffd75efe2 10944 math optional hol-light_20231021-1build2.debian.tar.xz
 23580c79a5816b9a43735155bc67d72b 7819 math optional hol-light_20231021-1build2_source.buildinfo