acl2-infix-source 8.0dfsg-1

About

View its full control file here: debian/control.

Computational Logic for Applicative Common Lisp: infix source

This package depends on: tex-common (>= 6).

This package does not recommend any other package.

This package does not suggest any other package.

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

This package is indexed.

acl2-infix-source 8.0dfsg-1 is in ubuntu - bionic / universe. This package's architecture is: architectureless.

File	Mime Type	Owner	Mode	Size

`postinst`	text/x-shellscript	N/A	N/A	388 bytes
`postrm`	text/x-shellscript	N/A	N/A	959 bytes
`/usr/`		root:root	0o755
`/usr/lib/`		root:root	0o755
`/usr/lib/acl2-8.0dfsg/`		root:root	0o755
`/usr/lib/acl2-8.0dfsg/books/`		root:root	0o755
`/usr/lib/acl2-8.0dfsg/books/interface/`		root:root	0o755
`/usr/lib/acl2-8.0dfsg/books/interface/infix/`		root:root	0o755
`/usr/lib/acl2-8.0dfsg/books/interface/infix/acl2-formatting.lisp`	text/x-lisp	root:root	0o644	5.7 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/infix.lisp`	text/x-lisp	root:root	0o644	209.0 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/latex-init.lisp`	text/x-tex	root:root	0o644	23.1 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/latex-theory.lisp`	text/x-lisp	root:root	0o644	6.3 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/scribe-init.lisp`	text/plain	root:root	0o644	16.6 KB
`/usr/lib/acl2-8.0dfsg/books/interface/infix/scribe-theory.lisp`	text/x-lisp	root:root	0o644	6.3 KB
`/usr/lib/acl2-8.0dfsg/books/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	904 bytes
`/usr/share/doc/acl2-infix-source/copyright`	text/plain	root:root	0o644	7.6 KB