This file is indexed.

/usr/lib/coq/user-contrib/ is in libwhy-coq 2.34-2.

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 12.9 KB
/usr/lib/coq/user-contrib/Why/WhyArrays.vo application/octet-stream root:root 0o644 20.5 KB
/usr/lib/coq/user-contrib/Why/WhyBool.vo application/octet-stream root:root 0o644 22.5 KB
/usr/lib/coq/user-contrib/Why/WhyCM.vo application/octet-stream root:root 0o644 35.6 KB
/usr/lib/coq/user-contrib/Why/WhyCoqCompat.vo application/octet-stream root:root 0o644 11.9 KB
/usr/lib/coq/user-contrib/Why/WhyExn.vo application/octet-stream root:root 0o644 20.1 KB
/usr/lib/coq/user-contrib/Why/WhyFloatsStrictLegacy.vo application/octet-stream root:root 0o644 242.3 KB
/usr/lib/coq/user-contrib/Why/WhyInt.vo application/octet-stream root:root 0o644 12.8 KB
/usr/lib/coq/user-contrib/Why/WhyLemmas.vo application/octet-stream root:root 0o644 20.7 KB
/usr/lib/coq/user-contrib/Why/WhyPermut.vo application/octet-stream root:root 0o644 96.3 KB
/usr/lib/coq/user-contrib/Why/WhyPrelude.vo application/octet-stream root:root 0o644 19.7 KB
/usr/lib/coq/user-contrib/Why/WhyReal.vo application/octet-stream root:root 0o644 17.0 KB
/usr/lib/coq/user-contrib/Why/WhySorted.vo application/octet-stream root:root 0o644 100.0 KB
/usr/lib/coq/user-contrib/Why/WhyTactics.vo application/octet-stream root:root 0o644 16.5 KB
/usr/lib/coq/user-contrib/Why/WhyTuples.vo application/octet-stream root:root 0o644 60.0 KB
/usr/lib/coq/user-contrib/Why/jessie_why.vo application/octet-stream root:root 0o644 95.5 KB