| Paketname | acl2-books-certs |
| Beschreibung | Computational Logic for Applicative Common Lisp: library certificates |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.3-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 32163 Byte |
| Hängt ab von | acl2 (>= 4.3-3), dpkg (>= 1.14.18), tex-common (>= 3) |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 4426578 Byte |
| Prüfsumme MD5 | e06197131b80eb9e47b24ea391b8c6f1 |
| Prüfsumme SHA1 | 3568dcea2580b783596618a801ea77f957d6aa6f |
| Prüfsumme SHA256 | 415d24bb9ad78f1cea3c852da8ed9f8cf6c765289e3ea122cae67ff6921b3203 |
| Link zum Herunterladen | acl2-books-certs_4.3-3_all.deb |
| Ausführliche Beschreibung | interface::text-mode, role::app-data, uitoolkit::ncurses,
works-with::software:source
|