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