| Paketname | acl2-doc |
| Beschreibung | Computational Logic for Applicative Common Lisp: documentation |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.3-3 |
| Sektion | universe/doc |
| Priorität | optional |
| Installierte Größe | 821 Byte |
| Hängt ab von | dpkg (>= 1.14.18), tex-common (>= 3), dpkg (>= 1.15.4) | install-info |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 355946 Byte |
| Prüfsumme MD5 | 05332d6cbfa898bcd1768b3d261e9b9e |
| Prüfsumme SHA1 | ac95782d8aa84c7e98a5a1485bebcc240ed6416f |
| Prüfsumme SHA256 | bc82d032844e5ec7bc694cec42d9074748395c20990c37b9e87af93b2e1693d8 |
| Link zum Herunterladen | acl2-doc_4.3-3_all.deb |
| Ausführliche Beschreibung | |