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

Пакет: acl2 (3.4-2 и другие)

вычислительная логика для прикладного Common Lisp: главные файлы

ACL2 -- это одновременно язык программирования, на котором вы можете моделировать компьютерные системы, и инструмент, помогающий доказывать свойства таких моделей.

Этот пакет содержит основные запускаемые файлы ACL2.

Теги: Разработка программного обеспечения: Интерпретатор, Разработка на Lisp, Область: Математика, Реализовано на: Lisp, Пользовательский интерфейс: Интерактивный, на основе вводимого текста, Роль: Программа, Область: Утилита, Инструментарий интерфейса: Ncurses TUI, Работает с: Исходный код

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

  • зависимости
  • рекомендации
  • предложения
  • dep: libc6 (>= 2.3) [amd64, hppa]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc6-udeb
    dep: libc6 (>= 2.3.5-1) [m68k]
    dep: libc6 (>= 2.6) [sparc]
    dep: libc6 (>= 2.7-1) [armel, i386, mips, mipsel, powerpc, s390]
  • dep: libc6.1 (>= 2.3) [ia64]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc6.1-udeb
    dep: libc6.1 (>= 2.7-1) [alpha]
  • dep: libgcc1 (>= 1:4.3) [armel]
    вспомогательная библиотека GCC
  • dep: libgmp3c2
    библиотека для работы с числами произвольной точности
  • dep: libice6 (>= 1:1.0.0)
    библиотека X11 для обмена данными между клиентами
  • dep: libncurses5 (>= 5.4-5) [m68k]
    разделяемые библиотеки для управления терминалом
    dep: libncurses5 (>= 5.6+20071006-3) [не m68k]
  • 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
  • rec: acl2-books
    A Computational Logic for Applicative Common Lisp: compiled libraries
  • rec: acl2-source
    A Computational Logic for Applicative Common Lisp: source files
  • sug: acl2-emacs
    A Computational Logic for Applicative Common Lisp: emacs interface

Загрузка acl2

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha 3.4-2 19 997,6 Кб106620 Кб [список файлов]
amd64 3.4-2 21 100,4 Кб113640 Кб [список файлов]
armel 3.4-2 19 388,5 Кб68012 Кб [список файлов]
hppa 3.4-2 19 747,2 Кб60240 Кб [список файлов]
i386 3.4-2 18 925,4 Кб64332 Кб [список файлов]
ia64 3.4-2 21 246,8 Кб178828 Кб [список файлов]
m68k (неофициальный перенос) 3.1-1 15 461,3 Кб50560 Кб [список файлов]
mips 3.4-2 19 245,4 Кб60580 Кб [список файлов]
mipsel 3.4-2 18 102,4 Кб60576 Кб [список файлов]
powerpc 3.4-2 20 901,2 Кб72872 Кб [список файлов]
s390 3.4-2 20 934,1 Кб66744 Кб [список файлов]
sparc 3.4-2 21 571,4 Кб80148 Кб [список файлов]