[ubuntu/oracular-proposed] hol-light 20231021-1build6 (Accepted)

[Gianfranco Costamagna]

hol-light (20231021-1build6) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 13 Jun 2024 09:51:08 +0200
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-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 13 Jun 2024 09:51:08 +0200
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-1build6
Distribution: oracular
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-1build6) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 df5168ab0cb65e955d4bf6a58d55325668c51324 2061 hol-light_20231021-1build6.dsc
 8edd5ede89948d99847c14fb70ac53dc1b1f70ff 11020 hol-light_20231021-1build6.debian.tar.xz
 d3ff9cc352e6774b8ce3119d68fe060f0d563702 7811 hol-light_20231021-1build6_source.buildinfo
Checksums-Sha256:
 a6401a136ce17acb3ba9313c3fd5eed0079360b5eead9265934d7b1e5b93ebfd 2061 hol-light_20231021-1build6.dsc
 e939d63d753553cbb4019bdb562b735d1a13eeb372a53ec5583c3535aef9eb5f 11020 hol-light_20231021-1build6.debian.tar.xz
 3eb1cbfeeab002bf8bef2f209e13028c2a1c90272a51dbd6e6d84f9d8a5d539a 7811 hol-light_20231021-1build6_source.buildinfo
Files:
 4f0e0ba8c2af0c61d2361fde4cf99f69 2061 math optional hol-light_20231021-1build6.dsc
 d0ebcb9de33cb60be660bef23ab9f6a9 11020 math optional hol-light_20231021-1build6.debian.tar.xz
 7b22cfa5bf84114946a75dfdff451143 7811 math optional hol-light_20231021-1build6_source.buildinfo