| Paketname | acl2-books-source |
| Beschreibung | A Computational Logic for Applicative Common Lisp: library sources |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 4.2-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 36568 Byte |
| Hängt ab von | acl2 (>= 4.2-1) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 5119974 Byte |
| Prüfsumme MD5 | 2973ee30431fc32ac362dbe33c95892a |
| Prüfsumme SHA1 | d9d340cb55b681972e288d792a81295e1ede7cd0 |
| Prüfsumme SHA256 | 66ce8673160aacac002dc9bb63f0e2c28144a5fd12dddfee37dc32014b140b91 |
| Link zum Herunterladen | acl2-books-source_4.2-1_all.deb |
| Ausführliche Beschreibung | |