| Paketname | acl2-books |
| Beschreibung | Computational Logic for Applicative Common Lisp: compiled libraries |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.3-3 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 53984 Byte |
| Hängt ab von | acl2 (= 4.3-3), acl2-books-certs (= 4.3-3), acl2-books-source (= 4.3-3) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 13915430 Byte |
| Prüfsumme MD5 | 16648af8994a6824df0a08480c7f859d |
| Prüfsumme SHA1 | c5bf6a437ddd3f21056a7a126d16227dbe9aa22e |
| Prüfsumme SHA256 | f0da8a82d3b56efb97daecdff15e6e75326e16645e2ee67bce04cb333afe1783 |
| Link zum Herunterladen | acl2-books_4.3-3_i386.deb |
| Ausführliche Beschreibung | |