Pakket: hol88 (2.02.19940316-14 en anderen)

[ Bron: hol88  ]

Higher Order Logic, system image

Andere aan hol88 gerelateerde pakketten

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

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc0.1-udeb

• dep: libc0.3 (>= 2.11) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc0.3-udeb

• dep: libc6 (>= 2.11) [hppa, powerpcspe]

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: 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
  Ook een virtueel pakket geboden door: libc6.1-udeb

  dep: libc6.1 (>= 2.4) [alpha]

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

  GCC support library

• dep: libgmp10 [niet hppa, m68k, powerpcspe, sparc64]

  Multiprecision arithmetic library

• dep: libgmp3c2 [hppa, m68k, powerpcspe, sparc64]

  Multiprecision arithmetic library

• dep: libice6 (>= 1:1.0.0) [m68k]

  X11 Inter-Client Exchange library

• dep: libncurses5 (>= 5.5-5~) [niet armhf, hppa, m68k, powerpcspe, s390x]

  shared libraries for terminal handling

  dep: libncurses5 (>= 5.6+20071006-3) [m68k]

  dep: libncurses5 (>= 5.7+20100313) [hppa, powerpcspe]

• dep: libreadline5 (>= 5.2) [i386, m68k]

  GNU readline and history libraries, run-time libraries

• dep: libreadline6 (>= 6.0) [niet armhf, i386, m68k, s390x]

  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

hol88 downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	2.02.19940316-14	14.374,1 kB	85.804,0 kB	[overzicht]
amd64	2.02.19940316-14	14.603,4 kB	77.384,0 kB	[overzicht]
armel	2.02.19940316-14	12.532,6 kB	59.204,0 kB	[overzicht]
armhf	2.02.19940316-14	11.220,8 kB	50.897,0 kB	[overzicht]
hppa	2.02.19940316-13.1	9.048,1 kB	41.376,0 kB	[overzicht]
hurd-i386	2.02.19940316-14	12.990,5 kB	75.496,0 kB	[overzicht]
i386	2.02.19940316-14	12.900,8 kB	52.132,0 kB	[overzicht]
ia64	2.02.19940316-14	11.627,9 kB	270.008,0 kB	[overzicht]
kfreebsd-amd64	2.02.19940316-14	14.604,8 kB	100.546,0 kB	[overzicht]
kfreebsd-i386	2.02.19940316-14	12.964,4 kB	75.202,0 kB	[overzicht]
m68k (unofficial port)	2.02.19940316-8	9.441,9 kB	45.080,0 kB	[overzicht]
mips	2.02.19940316-14	13.874,2 kB	55.064,0 kB	[overzicht]
mipsel	2.02.19940316-14	13.137,0 kB	54.844,0 kB	[overzicht]
powerpc	2.02.19940316-14	14.162,9 kB	62.276,0 kB	[overzicht]
powerpcspe (unofficial port)	2.02.19940316-13.1	13.691,6 kB	60.328,0 kB	[overzicht]
s390	2.02.19940316-14	14.759,6 kB	54.980,0 kB	[overzicht]
s390x	2.02.19940316-14	11.498,1 kB	64.199,0 kB	[overzicht]
sh4 (unofficial port)	2.02.19940316-14	13.667,5 kB	52.044,0 kB	[overzicht]
sparc	2.02.19940316-14	13.181,4 kB	59.640,0 kB	[overzicht]
sparc64 (unofficial port)	2.02.19940316-14+b1	13.387,2 kB	83.068,0 kB	[overzicht]