Пакет: acl2 (8.5dfsg-5 и другие)

Ссылки для acl2

Ресурсы Debian:

Исходный код acl2:

Сопровождающий:

Camm Maguire (Страница КК)

Внешние ресурсы:

Сайт [www.cs.utexas.edu]

Подобные пакеты:

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, Пользовательский интерфейс: Командная строка, interface::text-mode, role::program, Область: Утилита, Инструментарий интерфейса: uitoolkit::ncurses, works-with::software:source

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

зависимости

рекомендации

предложения

enhances

dep: libc6 (>= 2.32) [sh4]

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

dep: libc6 (>= 2.33) [x32]

dep: libc6 (>= 2.34) [не alpha, sh4, x32]
dep: libc6.1 (>= 2.29) [alpha]

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6.1-udeb
dep: libedit2 (>= 2.11-20080614-0) [не alpha, sh4]

библиотеки BSD editline и history
dep: libgcc-s1 (>= 3.0) [arm64]

вспомогательная библиотека GCC
dep: libgcc-s4 (>= 4.1.1) [hppa]

вспомогательная библиотека GCC
dep: libgmp10 (>= 2:6.2.1+dfsg) [alpha, sh4]

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

dep: libgmp10 (>= 2:6.2.1+dfsg1) [hppa, m68k, x32]

dep: libgmp10 (>= 2:6.3.0+dfsg) [не alpha, hppa, m68k, sh4, x32]
dep: libreadline8 (>= 6.0) [alpha, sh4]

Библиотеки GNU readline и history, выполняемые библиотеки
dep: libtirpc3 (>= 1.0.2) [alpha, hppa, m68k, ppc64, sh4, sparc64, x32]

транспортно-независимая библиотека RPC
dep: libtirpc3t64 (>= 1.0.2) [не alpha, hppa, m68k, ppc64, sh4, sparc64, x32]

транспортно-независимая библиотека RPC
dep: libx11-6

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

rec: acl2-books

Computational Logic for Applicative Common Lisp: compiled libraries
rec: acl2-source

Computational Logic for Applicative Common Lisp: source files

sug: elpa-acl2

Computational Logic for Applicative Common Lisp: emacs interface

Загрузка acl2

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	8.4dfsg-2	20 868,6 Кб	243 337,0 Кб	[список файлов]
amd64	8.5dfsg-5+b1	22 871,9 Кб	245 058,0 Кб	[список файлов]
arm64	8.5dfsg-5+b1	21 119,1 Кб	239 468,0 Кб	[список файлов]
armel	8.5dfsg-5+b1	18 740,4 Кб	173 135,0 Кб	[список файлов]
armhf	8.5dfsg-5+b1	18 744,4 Кб	165 091,0 Кб	[список файлов]
hppa (неофициальный перенос)	8.5dfsg-5	20 763,2 Кб	192 400,0 Кб	[список файлов]
i386	8.5dfsg-5+b1	19 940,1 Кб	167 601,0 Кб	[список файлов]
m68k (неофициальный перенос)	8.5dfsg-2	17 680,5 Кб	168 254,0 Кб	[список файлов]
mips64el	8.5dfsg-5+b2	20 205,6 Кб	260 580,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	8.5dfsg-5+b1	23 418,0 Кб	344 073,0 Кб	[список файлов]
ppc64el	8.5dfsg-5+b1	22 455,8 Кб	326 982,0 Кб	[список файлов]
riscv64	8.5dfsg-5+b2	21 579,0 Кб	231 668,0 Кб	[список файлов]
s390x	8.5dfsg-5+b1	23 013,9 Кб	236 360,0 Кб	[список файлов]
sh4 (неофициальный перенос)	8.4dfsg-2	19 568,7 Кб	158 973,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	8.5dfsg-5+b1	19 788,3 Кб	247 010,0 Кб	[список файлов]
x32 (неофициальный перенос)	8.5dfsg-1	21 513,9 Кб	178 075,0 Кб	[список файлов]