套件：acl2（8.5dfsg-5 以及其他的）

acl2 的相關連結

Debian 的資源：

下載原始碼套件 acl2：

維護者：

Camm Maguire (QA 頁面)

外部的資源：

主頁 [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, 範圍: 實用程式, Interface Toolkit: uitoolkit::ncurses, works-with::software:source

其他與 acl2 有關的套件

依賴

推薦

建議

增強

dep: libc6 (>= 2.34)

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb
dep: libedit2 (>= 2.11-20080614-0)

BSD editline and history libraries
dep: libgcc-s1 (>= 3.0) [arm64]

GCC 支援函式庫
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: libtirpc3t64 (>= 1.0.2)

transport-independent RPC library
dep: libx11-6

X11 client-side library

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

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
amd64	8.5dfsg-5+b1	22，871。9 kB	245，058。0 kB	[檔案列表]
arm64	8.5dfsg-5+b1	21，119。1 kB	239，468。0 kB	[檔案列表]
armel	8.5dfsg-5+b1	18，740。4 kB	173，135。0 kB	[檔案列表]
armhf	8.5dfsg-5+b1	18，744。4 kB	165，091。0 kB	[檔案列表]
i386	8.5dfsg-5+b1	19，940。1 kB	167，601。0 kB	[檔案列表]
mips64el	8.5dfsg-5+b2	20，205。6 kB	260，580。0 kB	[檔案列表]
ppc64el	8.5dfsg-5+b1	22，455。8 kB	326，982。0 kB	[檔案列表]
s390x	8.5dfsg-5+b1	23，013。9 kB	236，360。0 kB	[檔案列表]