Format: 1.8
Date: Mon, 19 Feb 2024 19:39:39 +0100
Source: hol-light
Binary: hol-light
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 20231021-1build4
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-028.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20231021-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 20ada231d91ed46a2957d5deb79b78c2187bf466 8105 hol-light_20231021-1build4_riscv64.buildinfo
 572329e61fda8fb9876cf9b77ff41660d2f2166b 5777224 hol-light_20231021-1build4_riscv64.deb
Checksums-Sha256:
 5d25e17f98bb175375e8e2ddc29493326af90c29773b49078f81babfe9bbefb7 8105 hol-light_20231021-1build4_riscv64.buildinfo
 8ac90919531e823afaa63ceaaff4c98830e04c44bb1eda0146b5fde0b46fdc14 5777224 hol-light_20231021-1build4_riscv64.deb
Files:
 9ec9f4935493ce60f14c6ef3f069d4b5 8105 math optional hol-light_20231021-1build4_riscv64.buildinfo
 f64989aedf69d6beca23b2511cd900f8 5777224 math optional hol-light_20231021-1build4_riscv64.deb