This file is indexed.

/usr/share/man/ 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/share/man/man1/ root:root 0o755
/usr/share/man/man1/dolfin-convert.1.gz application/gzip root:root 0o644 772 bytes
/usr/share/man/man1/dolfin-get-demos.1.gz application/gzip root:root 0o644 237 bytes
/usr/share/man/man1/dolfin-order.1.gz application/gzip root:root 0o644 290 bytes
/usr/share/man/man1/dolfin-plot.1.gz application/gzip root:root 0o644 307 bytes
/usr/share/man/man1/dolfin-version.1.gz application/gzip root:root 0o644 219 bytes