| Paketname | acl2 |
| Beschreibung | A Computational Logic for Applicative Common Lisp: main binary |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 4.2-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 73848 Byte |
| Hängt ab von | libc6 (>= 2.11), libgmp3c2, libncurses5 (>= 5.5-5~), libreadline6 (>= 6.0), libx11-6 |
| Empfohlene Pakete | acl2-source, acl2-books |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 22815150 Byte |
| Prüfsumme MD5 | e9fe89ab72d9f25779367c9107b01e11 |
| Prüfsumme SHA1 | 2554ac828e42f6a28453bb0dedbb5b7047b3fd9d |
| Prüfsumme SHA256 | 29fd8ac176653cff6835713e0871cc4aa1571f88445c7f32040925937f26680f |
| Link zum Herunterladen | acl2_4.2-1_i386.deb |
| Ausführliche Beschreibung | |