/usr/lib/coq/user-contrib/mathcomp/ssreflect/ 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/ssreflect/all_ssreflect.glob
|
text/plain | root:root | 0o644 | 884 bytes |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.v
|
text/plain | root:root | 0o644 | 422 bytes |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.vo
|
application/octet-stream | root:root | 0o644 | 29.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.glob
|
text/plain | root:root | 0o644 | 502.5 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.v
|
text/plain | root:root | 0o644 | 72.2 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.vo
|
application/octet-stream | root:root | 0o644 | 402.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.glob
|
text/plain | root:root | 0o644 | 223.4 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.v
|
text/plain | root:root | 0o644 | 23.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.vo
|
application/octet-stream | root:root | 0o644 | 245.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.glob
|
text/plain | root:root | 0o644 | 104.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.v
|
text/plain | root:root | 0o644 | 27.4 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.vo
|
application/octet-stream | root:root | 0o644 | 168.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.glob
|
text/plain | root:root | 0o644 | 280.5 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.v
|
text/plain | root:root | 0o644 | 33.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.vo
|
application/octet-stream | root:root | 0o644 | 230.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.glob
|
text/plain | root:root | 0o644 | 112.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.v
|
text/plain | root:root | 0o644 | 31.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.vo
|
application/octet-stream | root:root | 0o644 | 125.4 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.glob
|
text/plain | root:root | 0o644 | 56.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.v
|
text/plain | root:root | 0o644 | 11.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.vo
|
application/octet-stream | root:root | 0o644 | 114.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.glob
|
text/plain | root:root | 0o644 | 162.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.v
|
text/plain | root:root | 0o644 | 26.2 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.vo
|
application/octet-stream | root:root | 0o644 | 219.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.glob
|
text/plain | root:root | 0o644 | 618.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.v
|
text/plain | root:root | 0o644 | 83.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.vo
|
application/octet-stream | root:root | 0o644 | 561.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.glob
|
text/plain | root:root | 0o644 | 413.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.v
|
text/plain | root:root | 0o644 | 75.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.vo
|
application/octet-stream | root:root | 0o644 | 423.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.glob
|
text/plain | root:root | 0o644 | 103.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.v
|
text/plain | root:root | 0o644 | 27.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.vo
|
application/octet-stream | root:root | 0o644 | 143.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.glob
|
text/plain | root:root | 0o644 | 182.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.v
|
text/plain | root:root | 0o644 | 33.2 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.vo
|
application/octet-stream | root:root | 0o644 | 257.4 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.glob
|
text/plain | root:root | 0o644 | 472.5 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.v
|
text/plain | root:root | 0o644 | 56.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.vo
|
application/octet-stream | root:root | 0o644 | 434.2 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.glob
|
text/plain | root:root | 0o644 | 513.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.v
|
text/plain | root:root | 0o644 | 88.5 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.vo
|
application/octet-stream | root:root | 0o644 | 639.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.glob
|
text/plain | root:root | 0o644 | 281.2 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.v
|
text/plain | root:root | 0o644 | 86.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.vo
|
application/octet-stream | root:root | 0o644 | 291.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.glob
|
text/plain | root:root | 0o644 | 16.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.v
|
text/plain | root:root | 0o644 | 22.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.vo
|
application/octet-stream | root:root | 0o644 | 35.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.glob
|
text/plain | root:root | 0o644 | 63.3 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.v
|
text/plain | root:root | 0o644 | 40.9 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.vo
|
application/octet-stream | root:root | 0o644 | 87.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.glob
|
text/plain | root:root | 0o644 | 363.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.v
|
text/plain | root:root | 0o644 | 56.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.vo
|
application/octet-stream | root:root | 0o644 | 308.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.glob
|
text/plain | root:root | 0o644 | 79.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.v
|
text/plain | root:root | 0o644 | 14.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.vo
|
application/octet-stream | root:root | 0o644 | 126.5 KB |