[ Источник: hol88 ]
Пакет: hol88 (2.02.19940316-14 и другие)
Ссылки для hol88
Ресурсы Debian:
- Сообщения об ошибках
- Информация разработчика (PTS)
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код 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 Кб | [список файлов] |
