| Paketname | acl2-infix |
| Beschreibung | Computational Logic for Applicative Common Lisp: infix interface |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.3-3 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 643 Byte |
| Hängt ab von | acl2 (= 4.3-3), texlive-latex-recommended, dpkg (>= 1.14.18), tex-common (>= 3) |
| Empfohlene Pakete | acl2-infix-source (= 4.3-3) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 176820 Byte |
| Prüfsumme MD5 | b94e754eddbf7d298d6d2dbbb62be2e1 |
| Prüfsumme SHA1 | 2ae7774017287b912195b18a56e0b30d3e6e16eb |
| Prüfsumme SHA256 | 11d03f8cdec163e68f1002e37745f42af0eb353cea7d246d61fd81622d497a94 |
| Link zum Herunterladen | acl2-infix_4.3-3_i386.deb |
| Ausführliche Beschreibung | |