[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ Источник: hol88  ]

Пакет: hol88 (2.02.19940316-8)

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.

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

  • зависимости
  • рекомендации
  • предложения
  • dep: libc6 (>= 2.5-5) [m68k]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc6-udeb
    dep: libc6 (>= 2.7-1) [не alpha, ia64, m68k]
  • dep: libc6.1 (>= 2.7-1) [alpha, ia64]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc6.1-udeb
  • dep: libgmp3c2
    библиотека для работы с числами произвольной точности
  • dep: libice6 (>= 1:1.0.0)
    библиотека X11 для обмена данными между клиентами
  • dep: libncurses5 (>= 5.6+20071006-3)
    разделяемые библиотеки для управления терминалом
  • dep: libreadline5 (>= 5.2)
    Библиотеки GNU readline и history, выполняемые библиотеки
  • dep: libsm6
    управление сеансами графической системы X11
  • dep: libx11-6
    библиотека X11 для клиентской стороны
  • dep: libxaw7
    библиотека Athena Widget для X11
  • dep: libxext6
    интерфейс к различным расширениям графической подсистемы X11
  • dep: libxmu6
    библиотека различных вспомогательных функций X11
  • dep: libxt6
    библиотека инструментальных средств разработки X11

Загрузка hol88

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
alpha 8 893,1 Кб60960 Кб [список файлов]
amd64 12 628,4 Кб72640 Кб [список файлов]
armel 3,9 Кб56 Кб [список файлов]
hppa 8 633,4 Кб50392 Кб [список файлов]
i386 9 542,4 Кб44540 Кб [список файлов]
ia64 11 673,9 Кб269544 Кб [список файлов]
m68k (неофициальный перенос) 9 441,9 Кб45080 Кб [список файлов]
mips 3,9 Кб56 Кб [список файлов]
mipsel 7 843,3 Кб40932 Кб [список файлов]
powerpc 11 321,9 Кб56652 Кб [список файлов]
s390 11 042,7 Кб46868 Кб [список файлов]
sparc 11 194,8 Кб56760 Кб [список файлов]