| Paketname | acl2-infix |
| Beschreibung | A Computational Logic for Applicative Common Lisp: infix interface |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 4.2-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 1244 Byte |
| Hängt ab von | acl2 (= 4.2-1), texlive-latex-recommended |
| Empfohlene Pakete | acl2-infix-source (= 4.2-1) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 409750 Byte |
| Prüfsumme MD5 | e26ebd781c4f6bfa3cba4afff3d70826 |
| Prüfsumme SHA1 | c64eb993742af4388249f0fe72d0a23b4d2d8608 |
| Prüfsumme SHA256 | 242c0bd38d759a9c0d2dde789ae8ae1d378c417498ce286905c665808010ddfd |
| Link zum Herunterladen | acl2-infix_4.2-1_i386.deb |
| Ausführliche Beschreibung | |