/usr/lib/coq/user-contrib/mathcomp/field/ 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/field/algC.glob
|
text/plain | root:root | 0o644 | 649.2 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algC.v
|
text/plain | root:root | 0o644 | 72.6 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algC.vo
|
application/octet-stream | root:root | 0o644 | 708.2 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.glob
|
text/plain | root:root | 0o644 | 480.1 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.v
|
text/plain | root:root | 0o644 | 52.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.vo
|
application/octet-stream | root:root | 0o644 | 719.2 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algnum.glob
|
text/plain | root:root | 0o644 | 327.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algnum.v
|
text/plain | root:root | 0o644 | 38.6 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algnum.vo
|
application/octet-stream | root:root | 0o644 | 555.6 KB |
/usr/lib/coq/user-contrib/mathcomp/field/all_field.glob
|
text/plain | root:root | 0o644 | 503 bytes |
/usr/lib/coq/user-contrib/mathcomp/field/all_field.v
|
text/plain | root:root | 0o644 | 264 bytes |
/usr/lib/coq/user-contrib/mathcomp/field/all_field.vo
|
application/octet-stream | root:root | 0o644 | 59.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.glob
|
text/plain | root:root | 0o644 | 343.3 KB |
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.v
|
text/plain | root:root | 0o644 | 24.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.vo
|
application/octet-stream | root:root | 0o644 | 299.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/countalg.glob
|
text/plain | root:root | 0o644 | 238.3 KB |
/usr/lib/coq/user-contrib/mathcomp/field/countalg.v
|
text/plain | root:root | 0o644 | 48.2 KB |
/usr/lib/coq/user-contrib/mathcomp/field/countalg.vo
|
application/octet-stream | root:root | 0o644 | 376.8 KB |
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.glob
|
text/plain | root:root | 0o644 | 125.1 KB |
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.v
|
text/plain | root:root | 0o644 | 14.9 KB |
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.vo
|
application/octet-stream | root:root | 0o644 | 187.2 KB |
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.glob
|
text/plain | root:root | 0o644 | 321.3 KB |
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.v
|
text/plain | root:root | 0o644 | 47.0 KB |
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.vo
|
application/octet-stream | root:root | 0o644 | 464.4 KB |
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.glob
|
text/plain | root:root | 0o644 | 470.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.v
|
text/plain | root:root | 0o644 | 66.9 KB |
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.vo
|
application/octet-stream | root:root | 0o644 | 3.7 MB |
/usr/lib/coq/user-contrib/mathcomp/field/galois.glob
|
text/plain | root:root | 0o644 | 576.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/galois.v
|
text/plain | root:root | 0o644 | 69.1 KB |
/usr/lib/coq/user-contrib/mathcomp/field/galois.vo
|
application/octet-stream | root:root | 0o644 | 1.0 MB |
/usr/lib/coq/user-contrib/mathcomp/field/separable.glob
|
text/plain | root:root | 0o644 | 435.9 KB |
/usr/lib/coq/user-contrib/mathcomp/field/separable.v
|
text/plain | root:root | 0o644 | 43.8 KB |
/usr/lib/coq/user-contrib/mathcomp/field/separable.vo
|
application/octet-stream | root:root | 0o644 | 529.9 KB |