| Paketname | acl2-books |
| Beschreibung | Computational Logic for Applicative Common Lisp: compiled libraries |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.3-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 54028 Byte |
| Hängt ab von | acl2 (= 4.3-3), acl2-books-certs (= 4.3-3), acl2-books-source (= 4.3-3) |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 13895640 Byte |
| Prüfsumme MD5 | 151675cce77c1e65f476e9417f27268e |
| Prüfsumme SHA1 | 223241b882618f7c4f50f6963f2eb4c3e5f56b19 |
| Prüfsumme SHA256 | 067c3a1e4b391d21c4d505d98ed1ba6b668d763a46f67c2e11a0b0d581e445dd |
| Link zum Herunterladen | acl2-books_4.3-3_i386.deb |
| Ausführliche Beschreibung | field::mathematics, implemented-in::lisp, role::app-data,
works-with::software:source
|