Пакет: hol88 (2.02.19940316-14 и другие)

[ Источник: hol88  ]

Higher Order Logic, system image

Другие пакеты, относящиеся к hol88

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

  Embedded GNU C Library: Shared libraries
  также виртуальный пакет, предоставляемый libc0.1-udeb

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

  Embedded GNU C Library: Shared libraries
  также виртуальный пакет, предоставляемый libc0.3-udeb

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

  Embedded GNU C Library: Shared libraries
  также виртуальный пакет, предоставляемый 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
  также виртуальный пакет, предоставляемый libc6.1-udeb

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

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

  GCC support library

• dep: libgmp10 [не hppa, m68k, powerpcspe, sparc64]

  Multiprecision arithmetic library

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

  библиотека для работы с числами произвольной точности

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

  X11 Inter-Client Exchange library

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

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	2.02.19940316-14	14 374,1 Кб	85 804,0 Кб	[список файлов]
amd64	2.02.19940316-14	14 603,4 Кб	77 384,0 Кб	[список файлов]
armel	2.02.19940316-14	12 532,6 Кб	59 204,0 Кб	[список файлов]
armhf	2.02.19940316-14	11 220,8 Кб	50 897,0 Кб	[список файлов]
hppa	2.02.19940316-13.1	9 048,1 Кб	41 376,0 Кб	[список файлов]
hurd-i386	2.02.19940316-14	12 990,5 Кб	75 496,0 Кб	[список файлов]
i386	2.02.19940316-14	12 900,8 Кб	52 132,0 Кб	[список файлов]
ia64	2.02.19940316-14	11 627,9 Кб	270 008,0 Кб	[список файлов]
kfreebsd-amd64	2.02.19940316-14	14 604,8 Кб	100 546,0 Кб	[список файлов]
kfreebsd-i386	2.02.19940316-14	12 964,4 Кб	75 202,0 Кб	[список файлов]
m68k (неофициальный перенос)	2.02.19940316-8	9 441,9 Кб	45 080,0 Кб	[список файлов]
mips	2.02.19940316-14	13 874,2 Кб	55 064,0 Кб	[список файлов]
mipsel	2.02.19940316-14	13 137,0 Кб	54 844,0 Кб	[список файлов]
powerpc	2.02.19940316-14	14 162,9 Кб	62 276,0 Кб	[список файлов]
powerpcspe (неофициальный перенос)	2.02.19940316-13.1	13 691,6 Кб	60 328,0 Кб	[список файлов]
s390	2.02.19940316-14	14 759,6 Кб	54 980,0 Кб	[список файлов]
s390x	2.02.19940316-14	11 498,1 Кб	64 199,0 Кб	[список файлов]
sh4 (неофициальный перенос)	2.02.19940316-14	13 667,5 Кб	52 044,0 Кб	[список файлов]
sparc	2.02.19940316-14	13 181,4 Кб	59 640,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	2.02.19940316-14+b1	13 387,2 Кб	83 068,0 Кб	[список файлов]