This file is indexed.

/usr/lib/coq/user-contrib/mathcomp/solvable/ is in libssreflect-coq 1.6.1-2.

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

File Mime Type Owner Mode Size
..
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.glob text/plain root:root 0o644 831.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.v text/plain root:root 0o644 88.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.vo application/octet-stream root:root 0o644 935.7 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.glob text/plain root:root 0o644 892 bytes
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.v text/plain root:root 0o644 450 bytes
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.vo application/octet-stream root:root 0o644 32.4 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.glob text/plain root:root 0o644 234.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.v text/plain root:root 0o644 23.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.vo application/octet-stream root:root 0o644 296.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/center.glob text/plain root:root 0o644 218.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/center.v text/plain root:root 0o644 24.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/center.vo application/octet-stream root:root 0o644 420.3 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.glob text/plain root:root 0o644 165.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.v text/plain root:root 0o644 13.1 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.vo application/octet-stream root:root 0o644 138.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.glob text/plain root:root 0o644 299.3 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.v text/plain root:root 0o644 32.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.vo application/octet-stream root:root 0o644 302.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.glob text/plain root:root 0o644 408.2 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.v text/plain root:root 0o644 41.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.vo application/octet-stream root:root 0o644 529.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.glob text/plain root:root 0o644 1.4 MB
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.v text/plain root:root 0o644 119.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.vo application/octet-stream root:root 0o644 2.0 MB
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.glob text/plain root:root 0o644 269.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.v text/plain root:root 0o644 26.6 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.vo application/octet-stream root:root 0o644 326.3 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.glob text/plain root:root 0o644 304.3 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.v text/plain root:root 0o644 34.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.vo application/octet-stream root:root 0o644 365.2 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.glob text/plain root:root 0o644 93.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.v text/plain root:root 0o644 19.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.vo application/octet-stream root:root 0o644 128.2 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.glob text/plain root:root 0o644 140.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.v text/plain root:root 0o644 20.6 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.vo application/octet-stream root:root 0o644 217.2 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.glob text/plain root:root 0o644 439.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.v text/plain root:root 0o644 41.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.vo application/octet-stream root:root 0o644 448.6 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.glob text/plain root:root 0o644 220.7 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.v text/plain root:root 0o644 29.1 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.vo application/octet-stream root:root 0o644 248.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.glob text/plain root:root 0o644 771.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.v text/plain root:root 0o644 73.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.vo application/octet-stream root:root 0o644 877.3 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.glob text/plain root:root 0o644 278.1 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.v text/plain root:root 0o644 27.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.vo application/octet-stream root:root 0o644 252.1 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.glob text/plain root:root 0o644 472.7 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.v text/plain root:root 0o644 50.4 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.vo application/octet-stream root:root 0o644 359.2 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.glob text/plain root:root 0o644 126.7 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.v text/plain root:root 0o644 14.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.vo application/octet-stream root:root 0o644 196.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.glob text/plain root:root 0o644 285.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.v text/plain root:root 0o644 27.4 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.vo application/octet-stream root:root 0o644 284.4 KB