Publishing details

• Published on 2011-11-10

Changelog

hol-light (0.0r112-1ubuntu3) lucid; urgency=low

  * Fixed homepage and changed distribution to lucid.
 -- Christian Maeder <email address hidden>   Thu, 10 Nov 2011 15:57:55 +0100

Builds

• i386

Built packages

• hol-light Basic Debian package containing the HOL Light theorem prover.

Package files

• hol-light_0.0r112-1ubuntu3.diff.gz (2.2 KiB)
• hol-light_0.0r112-1ubuntu3.dsc (1.4 KiB)
• hol-light_0.0r112-1ubuntu3_all.deb (3.1 MiB)
• hol-light_0.0r112.orig.tar.gz (3.4 MiB)