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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 13 Jun 2024 10:49:18 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Thu, 13 Jun 2024 10:49:18 +0200
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-1build7
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-1build7) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 06f9c81eac50a7217d5da700a0d8e4ecf1754f4b 2061 hol-light_20231021-1build7.dsc
 bb6c37a81f1f256b44067122fc37f183916a855c 11020 hol-light_20231021-1build7.debian.tar.xz
 f61b8a367111799a36359054c30084e0a9975b01 7811 hol-light_20231021-1build7_source.buildinfo
Checksums-Sha256:
 267c60bf04a3ba972f62a11536b2bf05d7efa3359d8a07a18cc4a003b5014b20 2061 hol-light_20231021-1build7.dsc
 4cdd8ef79076190c26ebc07f97ace999b8d3d0ddad8379ad7489cad3721d1d61 11020 hol-light_20231021-1build7.debian.tar.xz
 23c618564dcc02960be83c98468faad240bef64160a6b87f2bab05e44369d6eb 7811 hol-light_20231021-1build7_source.buildinfo
Files:
 a331d8c46f18289a3545aec5e651c6f2 2061 math optional hol-light_20231021-1build7.dsc
 53eff1f3adb8e02db1255594a911cdbe 11020 math optional hol-light_20231021-1build7.debian.tar.xz
 5bc3f15f99dcc47533b047232c675860 7811 math optional hol-light_20231021-1build7_source.buildinfo