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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 14 Jun 2024 06:53:37 +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-1build8
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Jun 2024 06:53:37 +0200
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-1build8
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-1build8) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 adfc14d1b6f732b586470b8f99b2580217be5481 2061 hol-light_20231021-1build8.dsc
 4c1f098ecccac8ead1e020fb1dd005e7670b0fe3 11032 hol-light_20231021-1build8.debian.tar.xz
 aeb20f252480fc7dc2d11806281b78dfce3f0a14 7836 hol-light_20231021-1build8_source.buildinfo
Checksums-Sha256:
 a1989cfc9c67fe8d2ed75ede23462c33564938085bf79664946e510ecef25508 2061 hol-light_20231021-1build8.dsc
 9923768717d191afd4c9b0f7fd006bc036d8588c9d9f2db8b7eeded79d806477 11032 hol-light_20231021-1build8.debian.tar.xz
 f7bad81fbe33ca9adb6d5ad1b628d1877155a91a36816711ef6521fbddc2e0de 7836 hol-light_20231021-1build8_source.buildinfo
Files:
 516e99cc2335e10eb85fc4e5439d5429 2061 math optional hol-light_20231021-1build8.dsc
 82f0e7e257aa7aea8a7a13775a1466c3 11032 math optional hol-light_20231021-1build8.debian.tar.xz
 6c1028a3614a1e75185ee64d4d395ff7 7836 math optional hol-light_20231021-1build8_source.buildinfo