| Paketname | acl2-books |
| Beschreibung | A Computational Logic for Applicative Common Lisp: compiled libraries |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 4.2-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 113916 Byte |
| Hängt ab von | acl2 (= 4.2-1), acl2-books-certs (= 4.2-1), acl2-books-source (= 4.2-1) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 36080612 Byte |
| Prüfsumme MD5 | 317282f7350052e5c758011b0673225c |
| Prüfsumme SHA1 | d2b370c5b433f67bd205b1f937040cd3890709a5 |
| Prüfsumme SHA256 | 33f6f9565dff78b6f62b4406f68c115870a6d37a612d427ade47d5e967344b96 |
| Link zum Herunterladen | acl2-books_4.2-1_i386.deb |
| Ausführliche Beschreibung | |