| Paketname | acl2-source |
| Beschreibung | Computational Logic for Applicative Common Lisp: source files |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.3-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 12424 Byte |
| Hängt ab von | dpkg (>= 1.14.18), tex-common (>= 3) |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 3289530 Byte |
| Prüfsumme MD5 | 9439182b795379ee5899ac5b850bc84c |
| Prüfsumme SHA1 | d3195c24e137d0445b55d0444884ae41e4785084 |
| Prüfsumme SHA256 | 4d2a0dc2c2cd47b57b5dec398c7bd8b4ac5e6b1a766ee98f6d8b854f2a03ff88 |
| Link zum Herunterladen | acl2-source_4.3-3_all.deb |
| Ausführliche Beschreibung | implemented-in::lisp, interface::text-mode, role::source,
uitoolkit::ncurses
|