[ Source: hol88 ]
Package: hol88 (2.02.19940316dfsg-8)
Links for hol88
Debian Resources:
Download Source Package hol88:
- [hol88_2.02.19940316dfsg-8.dsc]
- [hol88_2.02.19940316dfsg.orig.tar.gz]
- [hol88_2.02.19940316dfsg-8.debian.tar.xz]
Maintainer:
Similar packages:
Higher Order Logic - systemaftryk
HOL-systemet er et miljø for interaktive beviser for læresætninger i en højere logik. Dens mest imponerende funktion er dens høje grad af programmerbarhed via metasproget ML. Systemet har en bred vifte af brug fra formalisering af ren matematik til verificering af industriel programmel. Akademiske og industrielle sider over hele verden bruger HOL.
Other Packages Related to hol88
|
|
|
|
-
- dep: libc6 (>= 2.38) [not alpha, loong64, sh4]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.41) [loong64, sh4]
-
- dep: libc6.1 (>= 2.38) [alpha]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb
-
- dep: libedit2 (>= 2.11-20080614-0)
- BSD-redigeringslinje og historikbiblioteker
-
- dep: libgcc-s1 (>= 4.0) [arm64]
- GCC støttebibliotek
-
- dep: libgcc-s4 (>= 4.3) [hppa]
- GCC støttebibliotek
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Bibliotek til multipræcision i aritmetik
-
- dep: libtirpc3t64 (>= 1.0.2)
- transportuafhængigt RPC-bibliotek
Download hol88
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha (unofficial port) | 10,715.8 kB | 192,569.0 kB | [list of files] |
| amd64 | 11,631.1 kB | 239,349.0 kB | [list of files] |
| arm64 | 10,972.6 kB | 245,409.0 kB | [list of files] |
| armel | 9,680.1 kB | 198,302.0 kB | [list of files] |
| armhf | 9,731.6 kB | 192,158.0 kB | [list of files] |
| hppa (unofficial port) | 10,316.8 kB | 168,646.0 kB | [list of files] |
| i386 | 10,236.4 kB | 190,194.0 kB | [list of files] |
| loong64 (unofficial port) | 11,478.6 kB | 245,601.0 kB | [list of files] |
| m68k (unofficial port) | 8,631.7 kB | 190,470.0 kB | [list of files] |
| mips64el | 10,436.5 kB | 240,210.0 kB | [list of files] |
| ppc64 (unofficial port) | 10,874.0 kB | 270,177.0 kB | [list of files] |
| ppc64el | 11,018.6 kB | 269,985.0 kB | [list of files] |
| riscv64 | 11,434.6 kB | 239,625.0 kB | [list of files] |
| s390x | 12,070.1 kB | 213,001.0 kB | [list of files] |
| sh4 (unofficial port) | 10,550.9 kB | 190,110.0 kB | [list of files] |
| sparc64 (unofficial port) | 10,585.9 kB | 258,081.0 kB | [list of files] |
| x32 (unofficial port) | 11,313.8 kB | 190,194.0 kB | [list of files] |