| Package | acl2-infix |
| Source | acl2 |
| Version | 8.6+dfsg-2 |
| Installed-Size | 5740 |
| Maintainer | Camm Maguire |
| Architecture | amd64 |
| Replaces | acl2 (<= 2.7-9) |
| Depends | acl2 (= 8.6+dfsg-2), texlive-latex-recommended, c-shell |
| Recommends | acl2-infix-source (= 8.6+dfsg-2) |
| Breaks | acl2 (<= 2.7-9) |
| Description | Computational Logic for Applicative Common Lisp: infix interface |
| Description-md5 | 81a2aa4af877764973901ab7dc79e3c8 |
| Homepage | https://www.cs.utexas.edu/users/moore/acl2/ |
| Tag | devel::interpreter, devel::lang:lisp, devel::library,
field::mathematics, implemented-in::lisp, role::app-data,
role::program, works-with::software:source |
| Section | math |
| Priority | optional |
| Filename | pool/main/a/acl2/acl2-infix_8.6+dfsg-2_amd64.deb |
| Size | 886800 |
| MD5sum | 30f3f7267f37c3418b43e465523ebfd8 |
| SHA256 | 1c6db0c95f58b35d5af311efcb2e02137768241a647d2129d6ada59adae444ee |