| Paketname | acl2-books-source |
| Beschreibung | Computational Logic for Applicative Common Lisp: library sources |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.3-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 37570 Byte |
| Hängt ab von | acl2 (>= 4.3-3), dpkg (>= 1.14.18), tex-common (>= 3) |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 6462160 Byte |
| Prüfsumme MD5 | ba948f82602a6c1f05d14d8da6e10a0c |
| Prüfsumme SHA1 | 91b8a3aae298d4a23c735dd5e439e06d953dc5d2 |
| Prüfsumme SHA256 | 97c8eab1f18a5521203b25b7ea3d758eb749f372a568e5b152045b3a949f01c2 |
| Link zum Herunterladen | acl2-books-source_4.3-3_all.deb |
| Ausführliche Beschreibung | interface::text-mode, role::source, uitoolkit::ncurses
|