| Paketname | acl2-infix-source |
| Beschreibung | Computational Logic for Applicative Common Lisp: infix source |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.3-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 361 Byte |
| Hängt ab von | dpkg (>= 1.14.18), tex-common (>= 3) |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 91494 Byte |
| Prüfsumme MD5 | 90232a851ac5c91862ea709c4094844c |
| Prüfsumme SHA1 | 7c8edbd1fcaf0e58c4ae0c8ae121c8d09e2a80d6 |
| Prüfsumme SHA256 | 4030b2e68c52889693dde13ed4407df1aea76926fd3efbf15d77a28681532383 |
| Link zum Herunterladen | acl2-infix-source_4.3-3_all.deb |
| Ausführliche Beschreibung | field::mathematics, implemented-in::lisp, role::source
|