Publishing details

Created on 2020-02-28 by Ubuntu Archive Auto-Sync
Published on 2020-02-28

Changelog

hol-light (20190729-4build1) focal; urgency=medium

  * No change rebuild against new ocaml ABI

 -- Dimitri John Ledkov <email address hidden>  Fri, 21 Feb 2020 01:31:39 +0000

Available diffs

diff from 20190729-3 (in Debian) to 20190729-4build1 (2.0 KiB)
diff from 20190729-4 (in Debian) to 20190729-4build1 (502 bytes)

Builds

Built packages

hol-light HOL Light theorem prover

Package files

hol-light_20190729-4build1.debian.tar.xz (10.9 KiB)
hol-light_20190729-4build1.dsc (2.1 KiB)
hol-light_20190729-4build1_amd64.deb (4.6 MiB)
hol-light_20190729-4build1_arm64.deb (4.6 MiB)
hol-light_20190729-4build1_armhf.deb (4.6 MiB)
hol-light_20190729-4build1_ppc64el.deb (4.6 MiB)
hol-light_20190729-4build1_riscv64.deb (4.6 MiB)
hol-light_20190729-4build1_s390x.deb (4.6 MiB)
hol-light_20190729.orig.tar.gz (6.6 MiB)