About

This package is 79.7 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/acl2/acl2-infix-source_4.2-1_all.deb .

View its full control file here: debian/control.

Description

A Computational Logic for Applicative Common Lisp: infix source

Relations

This package does not depend on any other package.

This package does not recommend any other package.

This package does not suggest any other package.

This package conflicts with: acl2 (<= 2.7-9).

Package Contents

This package is indexed.

acl2-infix-source 4.2-1 is in ubuntu - precise / universe. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/lib/ root:root 0o755
/usr/lib/acl2-4.2/ root:root 0o755
/usr/lib/acl2-4.2/interface/ root:root 0o755
/usr/lib/acl2-4.2/interface/infix/ root:root 0o755
/usr/lib/acl2-4.2/interface/infix/acl2-formatting.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/lib/acl2-4.2/interface/infix/infix.lisp text/x-lisp root:root 0o644 210.2 KB
/usr/lib/acl2-4.2/interface/infix/latex-init.lisp text/x-tex root:root 0o644 23.1 KB
/usr/lib/acl2-4.2/interface/infix/latex-theory.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/lib/acl2-4.2/interface/infix/scribe-init.lisp text/plain root:root 0o644 16.6 KB
/usr/lib/acl2-4.2/interface/infix/scribe-theory.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/lib/acl2-4.2/interface/infix/sloop.lisp text/x-lisp root:root 0o644 38.4 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/acl2-infix-source/ root:root 0o755
/usr/share/doc/acl2-infix-source/changelog.Debian.gz application/gzip root:root 0o644 791 bytes
/usr/share/doc/acl2-infix-source/copyright text/plain root:root 0o644 2.3 KB