Package: hol88 (2.02.19940316-15 and others)

[ Source: hol88  ]

Higher Order Logic, system image

The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.

Tags: Interface Toolkit: Ncurses TUI

Other Packages Related to hol88

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.1-udeb

• dep: libc0.3 (>= 2.3) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.3-udeb

• dep: libc6 (>= 2.11) [hppa]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.13) [s390x, sh4]

  dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel, sparc64]

  dep: libc6 (>= 2.4) [armel, armhf, powerpc, s390]

  dep: libc6 (>= 2.5-5) [m68k]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.3) [ia64]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.4) [alpha]

• dep: libgcc1 (>= 1:4.4.0) [armel, armhf]

  GCC support library

• dep: libgmp10 [not hppa, m68k]

  Multiprecision arithmetic library

• dep: libgmp3c2 [hppa, m68k]

  Multiprecision arithmetic library

• dep: libice6 (>= 1:1.0.0) [m68k]

  X11 Inter-Client Exchange library

• dep: libncurses5 (>= 5.6+20071006-3) [m68k]

  shared libraries for terminal handling

  dep: libncurses5 (>= 5.7+20100313) [hppa]

• dep: libreadline5 (>= 5.2) [m68k]

  GNU readline and history libraries, run-time libraries

• dep: libreadline6 (>= 6.0) [not m68k]

  GNU readline and history libraries, run-time libraries

• dep: libsm6 [m68k]

  X11 Session Management library

• dep: libx11-6

  X11 client-side library

• dep: libxaw7 [m68k]

  X11 Athena Widget library

• dep: libxext6 [m68k]

  X11 miscellaneous extension library

• dep: libxmu6 [m68k]

  X11 miscellaneous utility library

• dep: libxt6 [m68k]

  X11 toolkit intrinsics library

Download hol88

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.02.19940316-15	10,400.5 kB	67,987.0 kB	[list of files]
amd64	2.02.19940316-15	10,840.8 kB	60,975.0 kB	[list of files]
armel	2.02.19940316-15	12,107.9 kB	54,589.0 kB	[list of files]
armhf	2.02.19940316-15	11,203.9 kB	50,877.0 kB	[list of files]
hppa (unofficial port)	2.02.19940316-13.1	9,048.1 kB	41,376.0 kB	[list of files]
hurd-i386	2.02.19940316-15+b1	4,959.2 kB	39,115.0 kB	[list of files]
i386	2.02.19940316-15	8,423.5 kB	39,577.0 kB	[list of files]
ia64	2.02.19940316-15	9,571.9 kB	264,668.0 kB	[list of files]
kfreebsd-amd64	2.02.19940316-15	10,873.6 kB	84,101.0 kB	[list of files]
kfreebsd-i386	2.02.19940316-15	8,448.4 kB	62,623.0 kB	[list of files]
m68k (unofficial port)	2.02.19940316-8	9,441.9 kB	45,080.0 kB	[list of files]
mips	2.02.19940316-15	8,218.5 kB	42,445.0 kB	[list of files]
mipsel	2.02.19940316-15	7,901.7 kB	42,849.0 kB	[list of files]
powerpc	2.02.19940316-15	9,252.8 kB	49,181.0 kB	[list of files]
powerpcspe (unofficial port)	2.02.19940316-15	4.7 kB	53.0 kB	[list of files]
s390	2.02.19940316-15	9,772.7 kB	41,665.0 kB	[list of files]
s390x	2.02.19940316-15	11,488.1 kB	64,083.0 kB	[list of files]
sh4 (unofficial port)	2.02.19940316-15	8,811.8 kB	38,124.0 kB	[list of files]
sparc	2.02.19940316-15	5,329.2 kB	28,784.0 kB	[list of files]
sparc64 (unofficial port)	2.02.19940316-15	10,015.5 kB	70,028.0 kB	[list of files]