| Paketname | acl2-books-source |
| Beschreibung | Computational Logic for Applicative Common Lisp: library sources |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.3-3 |
| Sektion | universe/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 | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 6459880 Byte |
| Prüfsumme MD5 | f7597e4064b9b07f7c25184ff9f491b1 |
| Prüfsumme SHA1 | c7d7f270cead1cae868c8247491b99a73890b407 |
| Prüfsumme SHA256 | fcb2f1de50b938ff751fc4fb3ad054c127451ec6d2c89a5604f0b0760c68ee77 |
| Link zum Herunterladen | acl2-books-source_4.3-3_all.deb |
| Ausführliche Beschreibung | |