Paketti: hol88 (2.02.19940316-13.1)

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

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.3) [amd64, i386, mips, mipsel]

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

  dep: libc6 (>= 2.4) [armel, 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]

  GCC:n apukirjasto

• dep: libgmp3c2

  Multiprecision arithmetic library

• dep: libncurses5 (>= 5.7+20100313)

  jaetut kirjastot päätteen hallintaan

• 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	14,057.6 kt	74,704.0 kt	[tiedostoluettelo]
armel	12,673.8 kt	54,588.0 kt	[tiedostoluettelo]
i386	11,742.7 kt	48,420.0 kt	[tiedostoluettelo]
ia64	11,637.0 kt	270,024.0 kt	[tiedostoluettelo]
kfreebsd-amd64	13,859.4 kt	96,722.0 kt	[tiedostoluettelo]
kfreebsd-i386	11,760.5 kt	71,538.0 kt	[tiedostoluettelo]
mips	13,995.3 kt	56,948.0 kt	[tiedostoluettelo]
mipsel	13,257.3 kt	56,976.0 kt	[tiedostoluettelo]
powerpc	13,834.0 kt	61,196.0 kt	[tiedostoluettelo]
s390	13,964.5 kt	52,112.0 kt	[tiedostoluettelo]
sparc	13,202.6 kt	59,648.0 kt	[tiedostoluettelo]