Publishing details

• Removal requested on 2018-01-22.
• Published on 2015-05-04
• Copied from ubuntu trusty in Primary Archive for Ubuntu

Changelog

hol-light (20131026-1build1) trusty; urgency=medium

  * Rebuild for ocaml-4.01.
 -- Matthias Klose <email address hidden>   Mon, 23 Dec 2013 16:16:11 +0000

Builds

Package files

• hol-light_20131026-1build1.debian.tar.gz (8.3 KiB)
• hol-light_20131026-1build1.dsc (1.4 KiB)
• hol-light_20131026-1build1_amd64.deb (2.8 MiB)
• hol-light_20131026-1build1_arm64.deb (2.7 MiB)
• hol-light_20131026-1build1_armhf.deb (2.7 MiB)
• hol-light_20131026-1build1_i386.deb (2.7 MiB)
• hol-light_20131026-1build1_powerpc.deb (2.7 MiB)
• hol-light_20131026-1build1_ppc64el.deb (2.7 MiB)
• hol-light_20131026.orig.tar.bz2 (3.1 MiB)