| Paketname | acl2 |
| Beschreibung | A Computational Logic for Applicative Common Lisp: main binary |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 4.0-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 72056 Byte |
| Hängt ab von | libc6 (>= 2.7), libgmp3c2, libreadline6 (>= 6.0), libx11-6, zlib1g (>= 1:1.1.4) |
| Empfohlene Pakete | acl2-source, acl2-books |
| Paketbetreuer | Camm Maguire |
| Quelle | |
| Paketgröße | 22361038 Byte |
| Prüfsumme MD5 | 9b29eb865c336d8b01494843b04d02de |
| Prüfsumme SHA1 | 2b815132118ebfc37994293ed4fc4635d7189ff9 |
| Prüfsumme SHA256 | 6c63de85397d951b1c7a7b777a93f7eb5f8a147c54ee4eb338e2e6e0a31e03f5 |
| Link zum Herunterladen | acl2_4.0-3_i386.deb |
| Ausführliche 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.
|