About

This package is 25.3 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/acl2/acl2_4.2-1_amd64.deb .

View its full control file here: debian/control.

Description

A Computational Logic for Applicative Common Lisp: main binary

Relations

This package depends on: libc6 (>= 2.11), libgmp3c2, libncurses5 (>= 5.5-5~), libreadline6 (>= 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 4.2-1 is in ubuntu - precise / universe. 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 123 bytes
/usr/lib/ root:root 0o755
/usr/lib/acl2-4.2/ root:root 0o755
/usr/lib/acl2-4.2/saved_acl2 application/x-executable root:root 0o755 121.8 MB
/usr/share/ root:root 0o755
/usr/share/acl2-4.2/ root:root 0o755
/usr/share/acl2-4.2/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 783 bytes
/usr/share/doc/acl2/copyright text/plain root:root 0o644 2.3 KB
/usr/share/doc/acl2/mini-proveall.out.gz application/gzip root:root 0o644 18.1 KB
/usr/share/doc/acl2/README.Debian.gz application/gzip root:root 0o644 36.4 KB
/usr/share/doc/acl2/test.log.gz application/gzip root:root 0o644 36.3 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