| Paketname | acl2-doc |
| Beschreibung | Computational Logic for Applicative Common Lisp: documentation |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.3-3 |
| Sektion | 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 | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 362274 Byte |
| Prüfsumme MD5 | 8604f845e8c52c8b02ce6f2daecfce1b |
| Prüfsumme SHA1 | 08419403a6a4c635316413a182700173308f2708 |
| Prüfsumme SHA256 | 1c275c4b58e75c57df7be9ed9a3e43ef1343c682eaa392f4e8fc47ab0350495b |
| Link zum Herunterladen | acl2-doc_4.3-3_all.deb |
| Ausführliche Beschreibung | made-of::html, role::documentation, works-with::software:source
|