Paquet : hol88 (2.02.19940316-14 et autres)

[ Paquet source : hol88  ]

Higher Order Logic, system image

Autres paquets associés à hol88

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

  Embedded GNU C Library: Shared libraries
  un paquet virtuel est également fourni par libc0.1-udeb

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

  Embedded GNU C Library: Shared libraries
  un paquet virtuel est également fourni par libc0.3-udeb

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

  Embedded GNU C Library: Shared libraries
  un paquet virtuel est également fourni par 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
  un paquet virtuel est également fourni par libc6.1-udeb

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

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

  GCC support library

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

  Multiprecision arithmetic library

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

  Bibliothèque arithmétique à multi-précision

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

  X11 Inter-Client Exchange library

• dep: libncurses5 (>= 5.5-5~) [non 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) [non 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

Télécharger hol88

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	2.02.19940316-14	14 374,1 ko	85 804,0 ko	[liste des fichiers]
amd64	2.02.19940316-14	14 603,4 ko	77 384,0 ko	[liste des fichiers]
armel	2.02.19940316-14	12 532,6 ko	59 204,0 ko	[liste des fichiers]
armhf	2.02.19940316-14	11 220,8 ko	50 897,0 ko	[liste des fichiers]
hppa	2.02.19940316-13.1	9 048,1 ko	41 376,0 ko	[liste des fichiers]
hurd-i386	2.02.19940316-14	12 990,5 ko	75 496,0 ko	[liste des fichiers]
i386	2.02.19940316-14	12 900,8 ko	52 132,0 ko	[liste des fichiers]
ia64	2.02.19940316-14	11 627,9 ko	270 008,0 ko	[liste des fichiers]
kfreebsd-amd64	2.02.19940316-14	14 604,8 ko	100 546,0 ko	[liste des fichiers]
kfreebsd-i386	2.02.19940316-14	12 964,4 ko	75 202,0 ko	[liste des fichiers]
m68k (portage non officiel)	2.02.19940316-8	9 441,9 ko	45 080,0 ko	[liste des fichiers]
mips	2.02.19940316-14	13 874,2 ko	55 064,0 ko	[liste des fichiers]
mipsel	2.02.19940316-14	13 137,0 ko	54 844,0 ko	[liste des fichiers]
powerpc	2.02.19940316-14	14 162,9 ko	62 276,0 ko	[liste des fichiers]
powerpcspe (portage non officiel)	2.02.19940316-13.1	13 691,6 ko	60 328,0 ko	[liste des fichiers]
s390	2.02.19940316-14	14 759,6 ko	54 980,0 ko	[liste des fichiers]
s390x	2.02.19940316-14	11 498,1 ko	64 199,0 ko	[liste des fichiers]
sh4 (portage non officiel)	2.02.19940316-14	13 667,5 ko	52 044,0 ko	[liste des fichiers]
sparc	2.02.19940316-14	13 181,4 ko	59 640,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	2.02.19940316-14+b1	13 387,2 ko	83 068,0 ko	[liste des fichiers]