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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:40:10 +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-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:40:10 +0200
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-1build5
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-1build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 eeef67b5155118586ed0f253c6e7d32900755627 2061 hol-light_20231021-1build5.dsc
 6009ace083d5a9db5d675f958ca4c7ed020ea1bc 11004 hol-light_20231021-1build5.debian.tar.xz
 ff9272821e90bea2c9cc5f1d754c437451807f12 7836 hol-light_20231021-1build5_source.buildinfo
Checksums-Sha256:
 6d7b4d10654b85c23582e2cf91304ecdd15bee46b788bb618467db918491de4b 2061 hol-light_20231021-1build5.dsc
 bd3b466abe1f6f041fb88ec9e0f254e0584715f65b48ba6d5a912a654e4ccb3f 11004 hol-light_20231021-1build5.debian.tar.xz
 4dab4432da8d9d38d4413eb41cc6deb41203a76628349a1382390eb7c5a776da 7836 hol-light_20231021-1build5_source.buildinfo
Files:
 2ca4cc3245f9d3101f6d10ced177ea1b 2061 math optional hol-light_20231021-1build5.dsc
 8e0609c92efa630602e4bd0bc6921f73 11004 math optional hol-light_20231021-1build5.debian.tar.xz
 40b6d2ee1b856e449f73db78a7a2bb09 7836 math optional hol-light_20231021-1build5_source.buildinfo