| Package | acl2 |
| Version | 8.6+dfsg-2 |
| Installed-Size | 561661 |
| Maintainer | Camm Maguire |
| Architecture | amd64 |
| Depends | libc6 (>= 2.38), libedit2 (>= 2.11-20080614-0), libgmp10 (>= 2:6.3.0+dfsg), libtirpc3t64 (>= 1.0.2), libx11-6 |
| Recommends | acl2-source, acl2-books |
| Suggests | elpa-acl2 |
| Description | Computational Logic for Applicative Common Lisp: main binary |
| Description-md5 | 11f9e97229e3c77927e661525096d127 |
| Homepage | https://www.cs.utexas.edu/users/moore/acl2/ |
| Tag | devel::interpreter, devel::lang:lisp, field::mathematics,
implemented-in::lisp, interface::commandline, interface::text-mode,
role::program, scope::utility, uitoolkit::ncurses,
works-with::software:source |
| Section | math |
| Priority | optional |
| Filename | pool/main/a/acl2/acl2_8.6+dfsg-2_amd64.deb |
| Size | 36900528 |
| MD5sum | 8f706d392d10cc2b5a1e9b2153f05f7a |
| SHA256 | be4a70ed6f9b6d5e11b7e0ce61c7fe594884cb84b176413e25ea91be74a2a225 |