| Paketname | acl2 |
| Beschreibung | Computational Logic for Applicative Common Lisp: main binary |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.3-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 78179 Byte |
| Hängt ab von | libc6 (>= 2.3), libgmp10, libreadline6 (>= 6.0), libx11-6 |
| Empfohlene Pakete | acl2-source, acl2-books |
| Paketbetreuer | Camm Maguire |
| Quelle | |
| Paketgröße | 24297636 Byte |
| Prüfsumme MD5 | ed1c41edead28de9d2b448448fcbd66b |
| Prüfsumme SHA1 | 4ef9e862e55f15d6bac49a895aa5fca032c505f2 |
| Prüfsumme SHA256 | 21c98d880171af78353b87725bf7cf8ef775afada390b27b5bbf249b0c2a82cb |
| Link zum Herunterladen | acl2_4.3-3_i386.deb |
| Ausführliche Beschreibung | implemented-in::lisp, interface::text-mode, role::program,
scope::utility, uitoolkit::ncurses, works-with::software:source
|