This file is indexed.

/usr/bin/ is in dolfin-bin 2016.2.0-2.

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

File Mime Type Owner Mode Size
..
/usr/bin/dolfin-convert text/plain root:root 0o755 3.6 KB
/usr/bin/dolfin-get-demos text/x-shellscript root:root 0o755 1.0 KB
/usr/bin/dolfin-order text/plain root:root 0o755 1.7 KB
/usr/bin/dolfin-plot text/plain root:root 0o755 3.6 KB
/usr/bin/dolfin-version text/x-shellscript root:root 0o755 72 bytes