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

acl2-books 的相關連結

Debian 的資源：

下載原始碼套件 acl2：

維護者：

Camm Maguire (QA 頁面)

外部的資源：

主頁 [www.cs.utexas.edu]

相似套件：

Computational Logic for Applicative Common Lisp: compiled libraries

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 numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.

標籤: 軟體開發: 直譯器, Lisp 開發, devel::library, field::mathematics, 實做語言: Lisp, 角色: role::app-data, role::program, 處理: 原始碼

其他與 acl2-books 有關的套件

依賴

推薦

建議

增強

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

Computational Logic for Applicative Common Lisp: main binary

dep: acl2 (= 8.5dfsg-1) [x32]

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

dep: acl2 (= 8.5dfsg-5) [hppa]

dep: acl2 (= 8.5dfsg-5+b1) [除 alpha, hppa, m68k, mips64el, riscv64, sh4, x32]

dep: acl2 (= 8.5dfsg-5+b2) [mips64el, riscv64]
dep: acl2-books-certs (= 8.4dfsg-2) [alpha, sh4]

Computational Logic for Applicative Common Lisp: library certificates

dep: acl2-books-certs (= 8.5dfsg-1) [x32]

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

dep: acl2-books-certs (= 8.5dfsg-5) [除 alpha, m68k, sh4, x32]
dep: acl2-books-source (= 8.4dfsg-2) [alpha, sh4]

Computational Logic for Applicative Common Lisp: library sources

dep: acl2-books-source (= 8.5dfsg-1) [x32]

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

dep: acl2-books-source (= 8.5dfsg-5) [除 alpha, m68k, sh4, x32]

下載 acl2-books

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	8.4dfsg-2	289，668。4 kB	2，492，023。0 kB	[檔案列表]
amd64	8.5dfsg-5+b1	294，256。6 kB	2，459，993。0 kB	[檔案列表]
arm64	8.5dfsg-5+b1	296，953。5 kB	2，468，589。0 kB	[檔案列表]
armel	8.5dfsg-5+b1	276，815。1 kB	1，669，610。0 kB	[檔案列表]
armhf	8.5dfsg-5+b1	282，431。0 kB	1，612，789。0 kB	[檔案列表]
hppa （非官方移植版）	8.5dfsg-5	316，071。0 kB	1，933，250。0 kB	[檔案列表]
i386	8.5dfsg-5+b1	253，513。0 kB	1，506，613。0 kB	[檔案列表]
m68k （非官方移植版）	8.5dfsg-2	250，602。4 kB	1，794，077。0 kB	[檔案列表]
mips64el	8.5dfsg-5+b2	319，145。9 kB	2，674，075。0 kB	[檔案列表]
ppc64 （非官方移植版）	8.5dfsg-5+b1	289，742。9 kB	2，596，644。0 kB	[檔案列表]
ppc64el	8.5dfsg-5+b1	298，194。8 kB	2，625，207。0 kB	[檔案列表]
riscv64	8.5dfsg-5+b2	736，953。9 kB	10，749，304。0 kB	[檔案列表]
s390x	8.5dfsg-5+b1	288，226。3 kB	2，468，272。0 kB	[檔案列表]
sh4 （非官方移植版）	8.4dfsg-2	253，509。8 kB	1，510，880。0 kB	[檔案列表]
sparc64 （非官方移植版）	8.5dfsg-5+b1	280，840。9 kB	2，521，570。0 kB	[檔案列表]
x32 （非官方移植版）	8.5dfsg-1	77，761。8 kB	511，392。0 kB	[檔案列表]