This file is indexed.

/usr/lib/coq/user-contrib/ is in libwhy-coq 2.30+dfsg-3.

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

File Mime Type Owner Mode Size
..
/usr/lib/coq/user-contrib/Why/ root:root 0o755
/usr/lib/coq/user-contrib/Why/Why.vo application/octet-stream root:root 0o644 8.8 KB
/usr/lib/coq/user-contrib/Why/WhyArrays.vo application/octet-stream root:root 0o644 17.9 KB
/usr/lib/coq/user-contrib/Why/WhyBool.vo application/octet-stream root:root 0o644 19.4 KB
/usr/lib/coq/user-contrib/Why/WhyCM.vo application/octet-stream root:root 0o644 35.1 KB
/usr/lib/coq/user-contrib/Why/WhyCoqCompat.vo application/octet-stream root:root 0o644 7.6 KB
/usr/lib/coq/user-contrib/Why/WhyExn.vo application/octet-stream root:root 0o644 19.7 KB
/usr/lib/coq/user-contrib/Why/WhyFloatsStrictLegacy.vo application/octet-stream root:root 0o644 274.1 KB
/usr/lib/coq/user-contrib/Why/WhyInt.vo application/octet-stream root:root 0o644 8.5 KB
/usr/lib/coq/user-contrib/Why/WhyLemmas.vo application/octet-stream root:root 0o644 16.8 KB
/usr/lib/coq/user-contrib/Why/WhyPermut.vo application/octet-stream root:root 0o644 116.2 KB
/usr/lib/coq/user-contrib/Why/WhyPrelude.vo application/octet-stream root:root 0o644 15.3 KB
/usr/lib/coq/user-contrib/Why/WhyReal.vo application/octet-stream root:root 0o644 13.0 KB
/usr/lib/coq/user-contrib/Why/WhySorted.vo application/octet-stream root:root 0o644 120.7 KB
/usr/lib/coq/user-contrib/Why/WhyTactics.vo application/octet-stream root:root 0o644 12.1 KB
/usr/lib/coq/user-contrib/Why/WhyTuples.vo application/octet-stream root:root 0o644 67.0 KB
/usr/lib/coq/user-contrib/Why/jessie_why.vo application/octet-stream root:root 0o644 92.0 KB