Пакет: acl2 (4.3-3 и другие)

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

Computational Logic for Applicative Common Lisp: main binary

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains the base ACL2 binary.

Теги: Разработка программного обеспечения: Интерпретатор, Разработка на Lisp, Область: field::mathematics, implemented-in::lisp, Пользовательский интерфейс: Интерактивный, на основе вводимого текста, Роль: role::program, scope::utility, Инструментарий интерфейса: Ncurses TUI, Работает с: Исходный код

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

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

  библиотека Embedded GNU C (динамические библиотеки)
  также виртуальный пакет, предоставляемый libc0.1-udeb

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

  библиотека Embedded GNU C (динамические библиотеки)
  также виртуальный пакет, предоставляемый libc0.3-udeb

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

  библиотека Embedded GNU C (динамические библиотеки)
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.13) [s390x, sh4]

  dep: libc6 (>= 2.13-28) [armhf]

  dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel, sparc64]

  dep: libc6 (>= 2.3.5-1) [m68k]

  dep: libc6 (>= 2.4) [armel, powerpc, s390]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.3) [ia64]

  библиотека Embedded GNU C (динамические библиотеки)
  также виртуальный пакет, предоставляемый libc6.1-udeb

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

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

  вспомогательная библиотека GCC

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

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

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

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

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

  библиотека X11 для обмена данными между клиентами

• dep: libncurses5 (>= 5.4-5) [m68k]

  разделяемые библиотеки для управления терминалом

  dep: libncurses5 (>= 5.5-5~) [sh4, sparc64]

  dep: libncurses5 (>= 5.7+20100313) [hppa, powerpcspe]

• dep: libreadline5 (>= 5.2) [m68k]

  Библиотеки GNU readline и history, выполняемые библиотеки

• dep: libreadline6 (>= 6.0) [не m68k]

  Библиотеки GNU readline и history, выполняемые библиотеки

• dep: libsm6 [m68k]

  управление сеансами графической системы X11

• dep: libx11-6

  библиотека X11 для клиентской стороны

• dep: libxaw7 [m68k]

  библиотека Athena Widget для X11

• dep: libxext6 [m68k]

  интерфейс к различным расширениям графической подсистемы X11

• dep: libxmu6 [m68k]

  библиотека различных вспомогательных функций X11

• dep: libxt6 [m68k]

  библиотека инструментальных средств разработки X11

• rec: acl2-books

  Computational Logic for Applicative Common Lisp: compiled libraries

• rec: acl2-source

  Computational Logic for Applicative Common Lisp: source files

• sug: acl2-emacs

  Computational Logic for Applicative Common Lisp: emacs interface

Загрузка acl2

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

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	4.3-3	28 170,2 Кб	138 413,0 Кб	[список файлов]
amd64	4.3-3	27 654,0 Кб	130 540,0 Кб	[список файлов]
armel	4.3-3	23 934,5 Кб	82 378,0 Кб	[список файлов]
armhf	4.3-3	22 860,2 Кб	78 434,0 Кб	[список файлов]
hppa	4.1-5	23 007,2 Кб	70 060,0 Кб	[список файлов]
hurd-i386	4.3-2	23 792,3 Кб	84 895,0 Кб	[список файлов]
i386	4.3-3	23 728,2 Кб	78 179,0 Кб	[список файлов]
ia64	4.3-3	25 654,4 Кб	205 548,0 Кб	[список файлов]
kfreebsd-amd64	4.3-3	27 659,2 Кб	137 309,0 Кб	[список файлов]
kfreebsd-i386	4.3-3	23 752,3 Кб	84 913,0 Кб	[список файлов]
m68k (неофициальный перенос)	3.1-1	15 461,3 Кб	50 560,0 Кб	[список файлов]
mips	4.3-3	24 340,9 Кб	80 935,0 Кб	[список файлов]
mipsel	4.3-3	23 050,6 Кб	81 195,0 Кб	[список файлов]
powerpc	4.3-3	25 108,9 Кб	85 752,0 Кб	[список файлов]
powerpcspe (неофициальный перенос)	4.1-5	23 382,7 Кб	79 984,0 Кб	[список файлов]
s390	4.3-3	25 656,4 Кб	79 195,0 Кб	[список файлов]
s390x	4.3-3	29 936,1 Кб	134 905,0 Кб	[список файлов]
sh4 (неофициальный перенос)	4.2-1	23 672,5 Кб	72 468,0 Кб	[список файлов]
sparc	4.3-3	27 555,3 Кб	92 374,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	4.1-5+b1	25 910,9 Кб	125 316,0 Кб	[список файлов]