/usr/share/texmf/tex/latex/misc/

This file is indexed.

/usr/share/texmf/tex/latex/misc/ is in coq 8.6-4.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/texmf/tex/latex/misc/coqdoc.sty`	text/x-tex	root:root	0o644	5.4 KB

coq 8.6-4 / usr / share / texmf / tex / latex / misc