| Paketname | acl2 |
| Beschreibung | A Computational Logic for Applicative Common Lisp: main binary |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.6-4 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 67940 Byte |
| Hängt ab von | libc6 (>= 2.11), libgmp3c2, libreadline6 (>= 6.0), libx11-6 (>= 0), zlib1g (>= 1:1.1.4) |
| Empfohlene Pakete | acl2-source, acl2-books |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 20522590 Byte |
| Prüfsumme MD5 | 5e4136b33f55281afdc08b4a7e40494d |
| Prüfsumme SHA1 | 1f1c6f99c7768ec3bb3530c5a099e3047efffb75 |
| Prüfsumme SHA256 | 93792e3f59dfec5cc5987e527cecd867c92601e78f6d070d2fe63fc31418535a |
| Link zum Herunterladen | acl2_3.6-4_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.
|