|
Distribution |
Debian stable |
Abteilung |
math |
Quelle |
acl2 |
Version |
3.1-1 |
Maintainer |
Camm Maguire <camm@enhanced.com>
|
Beschreibung |
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.
|
Abhängig von | libc6 (>= 2.3.5-1), libgmp3c2, libice6 (>= 1:1.0.0), libncurses5 (>= 5.4-5), libreadline5 (>= 5.2), libsm6, libx11-6, libxaw7, libxext6, libxmu6, libxt6 | Recommends | acl2-books, acl2-source | Vorgeschlagen | acl2-emacs |
Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
Download |
amd64 |
|
|
|