Package: hol88 (2.02.19940316-15 and others)
Links for hol88
Debian Resources:
Download Source Package hol88:
- [hol88_2.02.19940316-15.dsc]
- [hol88_2.02.19940316.orig.tar.gz]
- [hol88_2.02.19940316-15.debian.tar.gz]
Maintainer:
Similar packages:
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.
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
| 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] |
