| Paketname | acl2-infix |
| Beschreibung | Computational Logic for Applicative Common Lisp: infix interface |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.3-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 645 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 | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 184088 Byte |
| Prüfsumme MD5 | bf38c670dd19779623b5defe3d9b64e2 |
| Prüfsumme SHA1 | 8df0135be00b664f5720383e2c2802f124c4f943 |
| Prüfsumme SHA256 | 292666a37c2415fd670792d2a0d33ebe127a104a6781fd203e14ce64e4a032bf |
| Link zum Herunterladen | acl2-infix_4.3-3_i386.deb |
| Ausführliche Beschreibung | field::mathematics, implemented-in::lisp, role::app-data,
works-with::software:source
|