/usr/lib/coq/user-contrib/mathcomp/fingroup/ is in libssreflect-coq 1.6.1-3build1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.glob
|
text/plain | root:root | 0o644 | 935.2 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.v
|
text/plain | root:root | 0o644 | 99.1 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.vo
|
application/octet-stream | root:root | 0o644 | 1010.7 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.glob
|
text/plain | root:root | 0o644 | 434 bytes |
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.v
|
text/plain | root:root | 0o644 | 202 bytes |
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.vo
|
application/octet-stream | root:root | 0o644 | 30.2 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.glob
|
text/plain | root:root | 0o644 | 136.5 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.v
|
text/plain | root:root | 0o644 | 16.5 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.vo
|
application/octet-stream | root:root | 0o644 | 190.4 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.glob
|
text/plain | root:root | 0o644 | 860.2 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.v
|
text/plain | root:root | 0o644 | 112.7 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.vo
|
application/octet-stream | root:root | 0o644 | 694.5 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.glob
|
text/plain | root:root | 0o644 | 606.4 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.v
|
text/plain | root:root | 0o644 | 62.1 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.vo
|
application/octet-stream | root:root | 0o644 | 864.0 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.glob
|
text/plain | root:root | 0o644 | 530.6 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.v
|
text/plain | root:root | 0o644 | 52.5 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.vo
|
application/octet-stream | root:root | 0o644 | 523.5 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.glob
|
text/plain | root:root | 0o644 | 175.8 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.v
|
text/plain | root:root | 0o644 | 23.7 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.vo
|
application/octet-stream | root:root | 0o644 | 239.5 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.glob
|
text/plain | root:root | 0o644 | 42.2 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.v
|
text/plain | root:root | 0o644 | 11.1 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.vo
|
application/octet-stream | root:root | 0o644 | 92.9 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.glob
|
text/plain | root:root | 0o644 | 313.7 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.v
|
text/plain | root:root | 0o644 | 33.9 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.vo
|
application/octet-stream | root:root | 0o644 | 305.4 KB |