Пакет: acl2-infix (8.6+dfsg-3 и другие)

Ссылки для acl2-infix

Ресурсы Debian:

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

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

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

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

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

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

Computational Logic for Applicative Common Lisp: infix interface

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 utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.

Теги: Разработка программного обеспечения: Интерпретатор, Разработка на Lisp, devel::library, field::mathematics, Реализовано на: Lisp, Роль: role::app-data, role::program, Работает с: Исходный код

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

зависимости

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

предложения

enhances

dep: acl2 (= 8.4dfsg-2) [alpha, sh4]

Computational Logic for Applicative Common Lisp: main binary

dep: acl2 (= 8.5dfsg-2) [m68k]

dep: acl2 (= 8.6+dfsg-3) [не alpha, m68k, sh4]
dep: csh [не alpha, m68k, sh4]

интерпретатор команд c С-подобным синтаксисом

или c-shell

виртуальный пакет, предоставляемый csh, tcsh
dep: texlive-latex-recommended

TeX Live: LaTeX recommended packages

rec: acl2-infix-source (= 8.4dfsg-2) [alpha, sh4]

Computational Logic for Applicative Common Lisp: infix source

rec: acl2-infix-source (= 8.5dfsg-2) [m68k]

rec: acl2-infix-source (= 8.6+dfsg-3) [не alpha, m68k, sh4]

Загрузка acl2-infix

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	8.4dfsg-2	502,1 Кб	3 045,0 Кб	[список файлов]
amd64	8.6+dfsg-3	864,8 Кб	5 744,0 Кб	[список файлов]
arm64	8.6+dfsg-3	833,5 Кб	5 249,0 Кб	[список файлов]
armel	8.6+dfsg-3	813,3 Кб	3 580,0 Кб	[список файлов]
armhf	8.6+dfsg-3	846,4 Кб	3 557,0 Кб	[список файлов]
hppa (неофициальный перенос)	8.6+dfsg-3	990,6 Кб	4 415,0 Кб	[список файлов]
i386	8.6+dfsg-3	852,5 Кб	3 665,0 Кб	[список файлов]
loong64 (неофициальный перенос)	8.6+dfsg-3	1 065,0 Кб	8 248,0 Кб	[список файлов]
m68k (неофициальный перенос)	8.5dfsg-2	442,5 Кб	2 245,0 Кб	[список файлов]
mips64el	8.6+dfsg-3	874,9 Кб	5 509,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	8.6+dfsg-3	852,4 Кб	5 794,0 Кб	[список файлов]
ppc64el	8.6+dfsg-3	882,0 Кб	5 930,0 Кб	[список файлов]
riscv64	8.6+dfsg-3	1 893,6 Кб	24 146,0 Кб	[список файлов]
s390x	8.6+dfsg-3	862,9 Кб	5 590,0 Кб	[список файлов]
sh4 (неофициальный перенос)	8.4dfsg-2	479,4 Кб	1 810,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	8.6+dfsg-3	878,2 Кб	5 825,0 Кб	[список файлов]
x32 (неофициальный перенос)	8.6+dfsg-3	868,8 Кб	4 226,0 Кб	[список файлов]