This file is indexed.

/usr/share/doc/texlive-doc/generic/petri-nets/ is in texlive-pictures-doc 2017.20180305-1.

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

File Mime Type Owner Mode Size
..
/usr/share/doc/texlive-doc/generic/petri-nets/COPYING.gz application/gzip root:root 0o644 6.7 KB
/usr/share/doc/texlive-doc/generic/petri-nets/ChangeLog text/plain root:root 0o644 2.4 KB
/usr/share/doc/texlive-doc/generic/petri-nets/README text/plain root:root 0o644 889 bytes
/usr/share/doc/texlive-doc/generic/petri-nets/pndoc.pdf application/pdf root:root 0o644 202.9 KB
/usr/share/doc/texlive-doc/generic/petri-nets/pndoc.tex.gz application/gzip root:root 0o644 14.5 KB