[ubuntu/oracular-proposed] hol-light 20231021-2build1 (Accepted)

[Gianfranco Costamagna]

hol-light (20231021-2build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:49:07 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:49:07 +0200
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-2build1
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-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e65455e5df03ef5bf8eaf421ef20ba1d1267a651 2061 hol-light_20231021-2build1.dsc
 9637cbd4cd15046b0c6a3b827717ca87e7911add 33064 hol-light_20231021-2build1.debian.tar.xz
 3c7f59a0e7aca6c279a4df8f3397b53e6ce4c024 7860 hol-light_20231021-2build1_source.buildinfo
Checksums-Sha256:
 4b4e0381b11a81436d2691d5d957e7eb09d70a4ac611ac3dd9b6c1486d687c9e 2061 hol-light_20231021-2build1.dsc
 33fcbb1f3cc8a66c9fe624762a592921cdd6a45e064de68196161971fb949c08 33064 hol-light_20231021-2build1.debian.tar.xz
 5f3258d28a0d77b60fd81293a112a5d7bb2194e0159032815cf23ab2884cfb3a 7860 hol-light_20231021-2build1_source.buildinfo
Files:
 f5d08cc792a2e005152b10ab3409b9f1 2061 math optional hol-light_20231021-2build1.dsc
 d1f501c4482cf25a23d091d9b04499d4 33064 math optional hol-light_20231021-2build1.debian.tar.xz
 19a0b6d3e4666310f5988889f5ec7541 7860 math optional hol-light_20231021-2build1_source.buildinfo