Пакет: hol88 (2.02.19940316dfsg-8)

Връзки за hol88

Ресурси за Debian:

Изтегляне на пакет-източник hol88.

Отговорник:

Camm Maguire (Страница за QA)

Подобни пакети:

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.

Етикети: Interface Toolkit: Ncurses TUI

Други пакети, свързани с hol88

зависимости

препоръчани

предложени

enhances

dep: libc6 (>= 2.38) [не alpha, loong64, sh4]

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb

dep: libc6 (>= 2.41) [loong64, sh4]
dep: libc6.1 (>= 2.38) [alpha]

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6.1-udeb
dep: libedit2 (>= 2.11-20080614-0)

BSD editline and history libraries
dep: libgcc-s1 (>= 4.0) [arm64]

GCC support library
dep: libgcc-s4 (>= 4.3) [hppa]

GCC support library
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: libtirpc3t64 (>= 1.0.2)

transport-independent RPC library

Изтегляне на hol88

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	10 715,8 кБ	192 569,0 кБ	[списък на файловете]
amd64	11 631,1 кБ	239 349,0 кБ	[списък на файловете]
arm64	10 972,6 кБ	245 409,0 кБ	[списък на файловете]
armel	9 680,1 кБ	198 302,0 кБ	[списък на файловете]
armhf	9 731,6 кБ	192 158,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	10 316,8 кБ	168 646,0 кБ	[списък на файловете]
i386	10 236,4 кБ	190 194,0 кБ	[списък на файловете]
loong64 (неофициална архитектура)	11 478,6 кБ	245 601,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	8 631,7 кБ	190 470,0 кБ	[списък на файловете]
mips64el	10 436,5 кБ	240 210,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	10 874,0 кБ	270 177,0 кБ	[списък на файловете]
ppc64el	11 018,6 кБ	269 985,0 кБ	[списък на файловете]
riscv64	11 434,6 кБ	239 625,0 кБ	[списък на файловете]
s390x	12 070,1 кБ	213 001,0 кБ	[списък на файловете]
sh4 (неофициална архитектура)	10 550,9 кБ	190 110,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	10 585,9 кБ	258 081,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	11 313,8 кБ	190 194,0 кБ	[списък на файловете]