| Paketname | acl2 |
| Beschreibung | Computational Logic for Applicative Common Lisp: main binary |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.3-3 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 78202 Byte |
| Hängt ab von | libc6 (>= 2.15), libgmp10, libreadline6 (>= 6.0), libx11-6 |
| Empfohlene Pakete | acl2-source, acl2-books |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 24398036 Byte |
| Prüfsumme MD5 | 9a9b47e2abda26fb010a3fb615941064 |
| Prüfsumme SHA1 | dc78e2ff203dc9f47126fd2f70bd1a8915710449 |
| Prüfsumme SHA256 | f52d432f565553624f91452019ec5e6bfa73637afe405172982f992f38d63890 |
| Link zum Herunterladen | acl2_4.3-3_i386.deb |
| Ausführliche Beschreibung | |