[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Source: ]

Package: acl2 (8.4dfsg-2) [debports]

Links for acl2

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

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

depends

recommends

suggests

enhances

dep: libc6.1 (>= 2.29)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
dep: libgmp10 (>= 2:6.2.1+dfsg)

libreria aritmetica a precisione multipla
dep: libreadline8 (>= 6.0)

librerie GNU readline ed history, librerie eseguibili
dep: libtirpc3 (>= 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

Download for all available architectures
Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	20,868.6 kB	243,337.0 kB	[list of files]