/usr/share/acl2-8.0dfsg/books/kestrel/abnf/

This file is indexed.

/usr/share/acl2-8.0dfsg/books/kestrel/abnf/ is in acl2-books-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/abstract-syntax.lisp`	text/plain	root:root	0o644	23.4 KB
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/abstractor.lisp`	text/plain	root:root	0o644	42.1 KB
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/cert.acl2`	text/plain	root:root	0o644	432 bytes
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/concrete-syntax.lisp`	text/plain	root:root	0o644	13.3 KB
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/core-rules.lisp`	text/plain	root:root	0o644	4.9 KB
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/examples.lisp`	text/html	root:root	0o644	16.1 KB
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/operations.lisp`	text/plain	root:root	0o644	59.9 KB
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/parser-and-abstractor-validation.lisp`	text/plain	root:root	0o644	5.4 KB
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/parser.lisp`	text/plain	root:root	0o644	567.0 KB
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/portcullis.acl2`	text/plain	root:root	0o644	421 bytes
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/portcullis.lisp`	text/plain	root:root	0o644	408 bytes
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/semantics.lisp`	text/plain	root:root	0o644	45.2 KB
`/usr/share/acl2-8.0dfsg/books/kestrel/abnf/top.lisp`	text/html	root:root	0o644	4.3 KB