/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/

This file is indexed.

/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/ is in acl2-books-source 7.2dfsg-3.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/eisenstein.lisp`	text/x-lisp	root:root	0o644	9.8 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/euclid.lisp`	text/x-lisp	root:root	0o644	7.0 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/euler.lisp`	text/x-lisp	root:root	0o644	8.7 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/fermat.lisp`	text/x-lisp	root:root	0o644	4.1 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/gauss.lisp`	text/x-lisp	root:root	0o644	5.0 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/mersenne.lisp`	text/x-lisp	root:root	0o644	4.4 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/pratt.lisp`	text/x-lisp	root:root	0o644	9.1 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/support/`		root:root	0o755
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/support/eisenstein.lisp`	text/x-lisp	root:root	0o644	15.7 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/support/euclid.lisp`	text/x-lisp	root:root	0o644	9.9 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/support/euler.lisp`	text/x-lisp	root:root	0o644	18.5 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/support/fermat.lisp`	text/x-lisp	root:root	0o644	7.7 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/support/gauss.lisp`	text/x-lisp	root:root	0o644	9.2 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/support/mersenne.lisp`	text/x-lisp	root:root	0o644	7.9 KB
`/usr/share/acl2-7.2dfsg/books/projects/quadratic-reciprocity/support/pratt.lisp`	text/x-lisp	root:root	0o644	35.4 KB