Package - acl2
Primary informations
Download package: http://deb.debian.org/debian/pool/main/a/acl2/acl2_8.6+dfsg-2_amd64.deb (Size: 35.2MiB)| Property | Value |
|---|---|
| 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 |
Files in package
- /usr/bin/acl2
- /usr/lib/acl2-8.6+dfsg/saved_acl2
- /usr/share/acl2-8.6+dfsg/saved_acl2
- /usr/share/doc/acl2/README.Debian.gz
- /usr/share/doc/acl2/changelog.Debian.gz
- /usr/share/doc/acl2/copyright
- /usr/share/doc/acl2/mini-proveall.out.gz
- /usr/share/doc/acl2/test.log.gz
- /usr/share/lintian/overrides/acl2
- /usr/share/man/man1/acl2.1.gz