/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 |