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

[Gianfranco Costamagna]

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

  * Rebuild against 'new OCAML ABIs'.

Date: Fri, 15 Dec 2023 07:55:09 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 15 Dec 2023 07:55:09 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-1build1
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-1build1) noble; urgency=medium
 .
   * Rebuild against 'new OCAML ABIs'.
Checksums-Sha1:
 af81b86a359945ac466c6b6ca77ff68120b5114d 2061 hol-light_20231021-1build1.dsc
 d74611da3410af93c45c46fb78f28726ec0d019f 10924 hol-light_20231021-1build1.debian.tar.xz
 07156e1634db2fad6b0ed2aaead5ed97ae64bf76 7817 hol-light_20231021-1build1_source.buildinfo
Checksums-Sha256:
 510a105927356a0778e3ee4331389d1273440b63b247115fbf1a4f4db4f31af1 2061 hol-light_20231021-1build1.dsc
 9e5e32a1dbc9d9dec2c9187c66ae2a6215be4c3a51fb22fee5d590d22d4741a6 10924 hol-light_20231021-1build1.debian.tar.xz
 c83b90080f9650b34e2f67482515339012691118068579e6cd8d7cd402eb9bff 7817 hol-light_20231021-1build1_source.buildinfo
Files:
 bdedda3bedd92aa44f5525c07dedd790 2061 math optional hol-light_20231021-1build1.dsc
 ffed7d63ded204f1f4b63980ccb8239d 10924 math optional hol-light_20231021-1build1.debian.tar.xz
 d316d8dd9cd1d48266d6939c4a9dbca8 7817 math optional hol-light_20231021-1build1_source.buildinfo