| Paketname | acl2-books-certs |
| Beschreibung | A Computational Logic for Applicative Common Lisp: library certificates |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 4.2-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 28248 Byte |
| Hängt ab von | acl2 (>= 4.2-1) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 1984690 Byte |
| Prüfsumme MD5 | 71b10815f0854691bf4095b89c7498dc |
| Prüfsumme SHA1 | 82c6b5f742267175dff7f4a5e47edcca8f12c82b |
| Prüfsumme SHA256 | 10e124a43bf1dc4bc108af0116e73e45ea874de802b40476f1bbff3e7aba88ca |
| Link zum Herunterladen | acl2-books-certs_4.2-1_all.deb |
| Ausführliche Beschreibung | |