[ 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:
logica computazionale per Applicative Common Lisp: binari principali
ACL2 è sia un linguaggio di programmazione con cui modellare sistemi di calcolo sia uno strumento per convalidare le proprietà di questi modelli.
Questo pacchetto contiene il binario principale di ACL2.
Other Packages Related to acl2
|
|
|
|
-
- dep: libc6 (>= 2.34)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libedit2 (>= 2.11-20080614-0)
- librerie BSD per la cronologia e la modifica della riga di comando
-
- dep: libgcc-s1 (>= 3.0) [arm64]
- libreria di supporto a GCC
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- libreria aritmetica a precisione multipla
-
- dep: libtirpc3t64 (>= 1.0.2)
- libreria RPC indipendente dal trasporto
-
- dep: libx11-6
- libreria X11 lato client
-
- rec: acl2-books
- logica computazionale per Applicative Common Lisp: librerie compilate
-
- rec: acl2-source
- logica computazionale per Applicative Common Lisp: file dei sorgenti
-
- sug: elpa-acl2
- logica computazionale per Applicative Common Lisp: interfaccia Emacs
Download acl2
Architecture | Version | Package Size | Installed Size | 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] |
i386 | 8.5dfsg-5+b1 | 19,940.1 kB | 167,601.0 kB | [list of files] |
mips64el | 8.5dfsg-5+b2 | 20,205.6 kB | 260,580.0 kB | [list of files] |
ppc64el | 8.5dfsg-5+b1 | 22,455.8 kB | 326,982.0 kB | [list of files] |
s390x | 8.5dfsg-5+b1 | 23,013.9 kB | 236,360.0 kB | [list of files] |