[ Source: acl2 ]
Package: acl2 (8.5dfsg-5 and others)
Links for acl2
Debian Resources:
Download Source Package acl2:
Maintainer:
External Resources:
- Homepage [www.cs.utexas.edu]
Similar packages:
Beregningslogik for Applicative Common Lisp - hoved binær fil
ACL2 er både et programmeringssprog hvori du kan modellere computersystemer og et værktøj til at hjælpe med at bevise egenskaber for disse modeller.
Denne pakke indeholder den grundlæggende ACL2-binære fil.
Other Packages Related to acl2
|
|
|
|
-
- dep: libc6 (>= 2.32) [sh4]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.33) [x32]
- dep: libc6 (>= 2.34) [not alpha, sh4, x32]
-
- dep: libc6.1 (>= 2.29) [alpha]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb
-
- dep: libedit2 (>= 2.11-20080614-0) [not alpha, sh4]
- BSD-redigeringslinje og historikbiblioteker
-
- dep: libgcc-s1 (>= 3.0) [arm64]
- GCC støttebibliotek
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC støttebibliotek
-
- dep: libgmp10 (>= 2:6.2.1+dfsg) [alpha, sh4]
- Bibliotek til multipræcision i aritmetik
- dep: libgmp10 (>= 2:6.2.1+dfsg1) [hppa, m68k, x32]
- dep: libgmp10 (>= 2:6.3.0+dfsg) [not alpha, hppa, m68k, sh4, x32]
-
- dep: libreadline8 (>= 6.0) [alpha, sh4]
- GNU bibliotekerne readline og history - kørselstid
-
- dep: libtirpc3 (>= 1.0.2) [alpha, hppa, m68k, ppc64, sh4, sparc64, x32]
- transportuafhængigt RPC-bibliotek
-
- dep: libtirpc3t64 (>= 1.0.2) [not alpha, hppa, m68k, ppc64, sh4, sparc64, x32]
- transportuafhængigt RPC-bibliotek
-
- dep: libx11-6
- X11 klientside bibliotek
-
- rec: acl2-books
- Computational logik for Applicative Common Lisp - kompilerede biblioteker
-
- rec: acl2-source
- Computational logik for Applicative Common Lisp - kildefiler
-
- sug: elpa-acl2
- Computational logik for Applicative Common Lisp - emacs-grænseflade
Download acl2
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
alpha (unofficial port) | 8.4dfsg-2 | 20,868.6 kB | 243,337.0 kB | [list of files] |
amd64 | 8.5dfsg-5+b1 | 22,871.9 kB | 245,058.0 kB | [list of files] |
arm64 | 8.5dfsg-5+b1 | 21,119.1 kB | 239,468.0 kB | [list of files] |
armel | 8.5dfsg-5+b1 | 18,740.4 kB | 173,135.0 kB | [list of files] |
armhf | 8.5dfsg-5+b1 | 18,744.4 kB | 165,091.0 kB | [list of files] |
hppa (unofficial port) | 8.5dfsg-5 | 20,763.2 kB | 192,400.0 kB | [list of files] |
i386 | 8.5dfsg-5+b1 | 19,940.1 kB | 167,601.0 kB | [list of files] |
m68k (unofficial port) | 8.5dfsg-2 | 17,680.5 kB | 168,254.0 kB | [list of files] |
mips64el | 8.5dfsg-5+b2 | 20,205.6 kB | 260,580.0 kB | [list of files] |
ppc64 (unofficial port) | 8.5dfsg-5+b1 | 23,418.0 kB | 344,073.0 kB | [list of files] |
ppc64el | 8.5dfsg-5+b1 | 22,455.8 kB | 326,982.0 kB | [list of files] |
riscv64 | 8.5dfsg-5+b2 | 21,579.0 kB | 231,668.0 kB | [list of files] |
s390x | 8.5dfsg-5+b1 | 23,013.9 kB | 236,360.0 kB | [list of files] |
sh4 (unofficial port) | 8.4dfsg-2 | 19,568.7 kB | 158,973.0 kB | [list of files] |
sparc64 (unofficial port) | 8.5dfsg-5+b1 | 19,788.3 kB | 247,010.0 kB | [list of files] |
x32 (unofficial port) | 8.5dfsg-1 | 21,513.9 kB | 178,075.0 kB | [list of files] |