Paketti: hol88 (2.02.19940316-15)

[ 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.

Tagit: Interface Toolkit: Ncurses TUI

Muut pakettiin hol88 liittyvät paketit

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

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc0.1-udeb

• dep: libc6 (>= 2.13) [s390x]

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

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

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

  dep: libc6 (>= 2.6) [sparc]

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

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6.1-udeb

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

  GCC:n apukirjasto

• dep: libgmp10

  Multiprecision arithmetic library

• dep: libreadline6 (>= 6.0)

  GNU:n readline- ja historiakirjastot, ajonaikaiset kirjastot.

• dep: libx11-6

  X11 client-side library

Imuroi hol88

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	10,840.8 kt	60,975.0 kt	[tiedostoluettelo]
armel	12,107.9 kt	54,589.0 kt	[tiedostoluettelo]
armhf	11,203.9 kt	50,877.0 kt	[tiedostoluettelo]
i386	8,423.5 kt	39,577.0 kt	[tiedostoluettelo]
ia64	9,571.9 kt	264,668.0 kt	[tiedostoluettelo]
kfreebsd-amd64	10,873.6 kt	84,101.0 kt	[tiedostoluettelo]
kfreebsd-i386	8,448.4 kt	62,623.0 kt	[tiedostoluettelo]
mips	8,218.5 kt	42,445.0 kt	[tiedostoluettelo]
mipsel	7,901.7 kt	42,849.0 kt	[tiedostoluettelo]
powerpc	9,252.8 kt	49,181.0 kt	[tiedostoluettelo]
s390	9,772.7 kt	41,665.0 kt	[tiedostoluettelo]
s390x	11,488.1 kt	64,083.0 kt	[tiedostoluettelo]
sparc	5,329.2 kt	28,784.0 kt	[tiedostoluettelo]