| Paketname | acl2-books-certs |
| Beschreibung | Computational Logic for Applicative Common Lisp: library certificates |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.3-3 |
| Sektion | universe/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 | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 4415296 Byte |
| Prüfsumme MD5 | ad32fcf2da50de8dc873bba06cee7066 |
| Prüfsumme SHA1 | b906b7fafee5d25c35888cd76abfb3480f5db433 |
| Prüfsumme SHA256 | c8bb8d8b2158f640ed09ee3c9b5b0f3c1691a9fe113cfe87d33369473c123051 |
| Link zum Herunterladen | acl2-books-certs_4.3-3_all.deb |
| Ausführliche Beschreibung | |