Publishing details

Removed from disk on 2018-01-23.
Removal requested on 2017-01-16.
Superseded on 2017-01-15 by hol-light - 20170109-1
Published on 2016-10-18
Copied from ubuntu yakkety in Primary Archive for Ubuntu

Changelog

hol-light (20131026-1build4) yakkety; urgency=medium

  * No-change rebuild against camlp5-ixut4

 -- Steve Langasek <email address hidden>  Sat, 11 Jun 2016 20:13:01 +0000

Available diffs

diff from 20131026-1build2 to 20131026-1build4 (584 bytes)
diff from 20131026-1build3 to 20131026-1build4 (533 bytes)

Builds

Package files

hol-light_20131026-1build4.debian.tar.xz (8.1 KiB)
hol-light_20131026-1build4.dsc (2.1 KiB)
hol-light_20131026-1build4_amd64.deb (2.7 MiB)
hol-light_20131026-1build4_arm64.deb (2.7 MiB)
hol-light_20131026-1build4_armhf.deb (2.7 MiB)
hol-light_20131026-1build4_i386.deb (2.7 MiB)
hol-light_20131026-1build4_powerpc.deb (2.7 MiB)
hol-light_20131026-1build4_ppc64el.deb (2.7 MiB)
hol-light_20131026-1build4_s390x.deb (2.7 MiB)
hol-light_20131026.orig.tar.bz2 (3.1 MiB)