| Paketname | acl2-source |
| Beschreibung | Computational Logic for Applicative Common Lisp: source files |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.3-3 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 12424 Byte |
| Hängt ab von | dpkg (>= 1.14.18), tex-common (>= 3) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 3283508 Byte |
| Prüfsumme MD5 | bdf020179ea0bf72d37f3600c58a5cd3 |
| Prüfsumme SHA1 | d790375c9442096bbe2ca2ac3de4f388b37fa53a |
| Prüfsumme SHA256 | acca686b747518d0bd805839ed3d112c9383087ccaeaf3c3be9c1c0641c381d1 |
| Link zum Herunterladen | acl2-source_4.3-3_all.deb |
| Ausführliche Beschreibung | |