/usr/lib/coq/user-contrib/mathcomp/character/ 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/character/all_character.glob
|
text/plain | root:root | 0o644 | 411 bytes |
/usr/lib/coq/user-contrib/mathcomp/character/all_character.v
|
text/plain | root:root | 0o644 | 190 bytes |
/usr/lib/coq/user-contrib/mathcomp/character/all_character.vo
|
application/octet-stream | root:root | 0o644 | 60.7 KB |
/usr/lib/coq/user-contrib/mathcomp/character/character.glob
|
text/plain | root:root | 0o644 | 1.1 MB |
/usr/lib/coq/user-contrib/mathcomp/character/character.v
|
text/plain | root:root | 0o644 | 113.2 KB |
/usr/lib/coq/user-contrib/mathcomp/character/character.vo
|
application/octet-stream | root:root | 0o644 | 1.4 MB |
/usr/lib/coq/user-contrib/mathcomp/character/classfun.glob
|
text/plain | root:root | 0o644 | 865.7 KB |
/usr/lib/coq/user-contrib/mathcomp/character/classfun.v
|
text/plain | root:root | 0o644 | 96.3 KB |
/usr/lib/coq/user-contrib/mathcomp/character/classfun.vo
|
application/octet-stream | root:root | 0o644 | 1.2 MB |
/usr/lib/coq/user-contrib/mathcomp/character/inertia.glob
|
text/plain | root:root | 0o644 | 758.2 KB |
/usr/lib/coq/user-contrib/mathcomp/character/inertia.v
|
text/plain | root:root | 0o644 | 68.7 KB |
/usr/lib/coq/user-contrib/mathcomp/character/inertia.vo
|
application/octet-stream | root:root | 0o644 | 819.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.glob
|
text/plain | root:root | 0o644 | 361.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.v
|
text/plain | root:root | 0o644 | 35.5 KB |
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.vo
|
application/octet-stream | root:root | 0o644 | 518.8 KB |
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.glob
|
text/plain | root:root | 0o644 | 369.5 KB |
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.v
|
text/plain | root:root | 0o644 | 42.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.vo
|
application/octet-stream | root:root | 0o644 | 533.2 KB |
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.glob
|
text/plain | root:root | 0o644 | 2.0 MB |
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.v
|
text/plain | root:root | 0o644 | 236.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.vo
|
application/octet-stream | root:root | 0o644 | 3.2 MB |
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.glob
|
text/plain | root:root | 0o644 | 392.0 KB |
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.v
|
text/plain | root:root | 0o644 | 37.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.vo
|
application/octet-stream | root:root | 0o644 | 475.9 KB |