About

This package is 17.3 MB. It is available at http://ftp.debian.org/debian/pool/main/a/acl2/acl2_7.2dfsg-3_amd64.deb .

View its full control file here: debian/control.

Description

Computational Logic for Applicative Common Lisp: main binary

Relations

This package depends on: libc6 (>= 2.15), libgmp10, libreadline7 (>= 6.0), libx11-6.

This package recommends: acl2-source, acl2-books.

This package suggests: acl2-emacs.

This package does not conflict with any other package.

Package Contents

This package is indexed.

acl2 7.2dfsg-3 is in debian - stretch / main. This package's architecture is: amd64.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/acl2 text/x-shellscript root:root 0o755 135 bytes
/usr/lib/ root:root 0o755
/usr/lib/acl2-7.2dfsg/ root:root 0o755
/usr/lib/acl2-7.2dfsg/saved_acl2 application/x-executable root:root 0o755 202.7 MB
/usr/share/ root:root 0o755
/usr/share/acl2-7.2dfsg/ root:root 0o755
/usr/share/acl2-7.2dfsg/saved_acl2 root:root 0o777
/usr/share/doc/ root:root 0o755
/usr/share/doc/acl2/ root:root 0o755
/usr/share/doc/acl2/changelog.Debian.gz application/gzip root:root 0o644 7.6 KB
/usr/share/doc/acl2/copyright text/plain root:root 0o644 7.6 KB
/usr/share/doc/acl2/mini-proveall.out.gz application/gzip root:root 0o644 11.1 KB
/usr/share/doc/acl2/README.Debian.gz application/gzip root:root 0o644 95.6 KB
/usr/share/doc/acl2/test.log.gz application/gzip root:root 0o644 78.2 KB
/usr/share/doc/acl2/TODO.Debian text/plain root:root 0o644 28 bytes
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/acl2.1.gz application/gzip root:root 0o644 726 bytes