Publishing details

• Removed from disk on 2020-07-10.
• Removal requested on 2017-09-01.
• Deleted on 2017-09-01 by Ubuntu Archive Robot

  moved to release

• Published on 2017-08-03

Changelog

hol-light (20170706-0ubuntu3) artful; urgency=medium

  * debian/patches/camlp5-7.patch: Copy from Debian to fix FTBFS.
  * debian/control: Update build dependency on camlp5 per Debian.

 -- Logan Rosen <email address hidden>  Wed, 02 Aug 2017 22:36:02 -0700

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Package files

• hol-light_20170706-0ubuntu3.debian.tar.xz (9.4 KiB)
• hol-light_20170706-0ubuntu3.dsc (1.8 KiB)
• hol-light_20170706-0ubuntu3_amd64.deb (4.0 MiB)
• hol-light_20170706-0ubuntu3_arm64.deb (4.0 MiB)
• hol-light_20170706-0ubuntu3_armhf.deb (4.0 MiB)
• hol-light_20170706-0ubuntu3_i386.deb (4.0 MiB)
• hol-light_20170706-0ubuntu3_ppc64el.deb (4.0 MiB)
• hol-light_20170706-0ubuntu3_s390x.deb (4.0 MiB)
• hol-light_20170706.orig.tar.gz (5.9 MiB)