/usr/lib/coq/user-contrib/mathcomp/algebra/ 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/algebra/all_algebra.glob
|
text/plain | root:root | 0o644 | 715 bytes |
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.v
|
text/plain | root:root | 0o644 | 353 bytes |
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.vo
|
application/octet-stream | root:root | 0o644 | 57.6 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.glob
|
text/plain | root:root | 0o644 | 180.4 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.v
|
text/plain | root:root | 0o644 | 49.1 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.vo
|
application/octet-stream | root:root | 0o644 | 308.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.glob
|
text/plain | root:root | 0o644 | 440.0 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.v
|
text/plain | root:root | 0o644 | 45.3 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.vo
|
application/octet-stream | root:root | 0o644 | 497.3 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.glob
|
text/plain | root:root | 0o644 | 257.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.v
|
text/plain | root:root | 0o644 | 16.1 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.vo
|
application/octet-stream | root:root | 0o644 | 181.4 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.glob
|
text/plain | root:root | 0o644 | 857.3 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.v
|
text/plain | root:root | 0o644 | 109.5 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.vo
|
application/octet-stream | root:root | 0o644 | 1.1 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.glob
|
text/plain | root:root | 0o644 | 1015.3 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.v
|
text/plain | root:root | 0o644 | 116.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.vo
|
application/octet-stream | root:root | 0o644 | 1.7 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.glob
|
text/plain | root:root | 0o644 | 410.5 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.v
|
text/plain | root:root | 0o644 | 46.2 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.vo
|
application/octet-stream | root:root | 0o644 | 603.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.glob
|
text/plain | root:root | 0o644 | 782.2 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.v
|
text/plain | root:root | 0o644 | 92.5 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.vo
|
application/octet-stream | root:root | 0o644 | 802.1 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.glob
|
text/plain | root:root | 0o644 | 156.9 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.v
|
text/plain | root:root | 0o644 | 17.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.vo
|
application/octet-stream | root:root | 0o644 | 237.9 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.glob
|
text/plain | root:root | 0o644 | 1.3 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.v
|
text/plain | root:root | 0o644 | 127.3 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.vo
|
application/octet-stream | root:root | 0o644 | 1.2 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.glob
|
text/plain | root:root | 0o644 | 341.4 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.v
|
text/plain | root:root | 0o644 | 28.0 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.vo
|
application/octet-stream | root:root | 0o644 | 287.6 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.glob
|
text/plain | root:root | 0o644 | 108.0 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.v
|
text/plain | root:root | 0o644 | 26.5 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.vo
|
application/octet-stream | root:root | 0o644 | 248.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.glob
|
text/plain | root:root | 0o644 | 1.2 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.v
|
text/plain | root:root | 0o644 | 238.1 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.vo
|
application/octet-stream | root:root | 0o644 | 1.5 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.glob
|
text/plain | root:root | 0o644 | 698.0 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.v
|
text/plain | root:root | 0o644 | 56.4 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.vo
|
application/octet-stream | root:root | 0o644 | 437.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.glob
|
text/plain | root:root | 0o644 | 1.4 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.v
|
text/plain | root:root | 0o644 | 151.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.vo
|
application/octet-stream | root:root | 0o644 | 965.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.glob
|
text/plain | root:root | 0o644 | 543.6 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.v
|
text/plain | root:root | 0o644 | 75.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.vo
|
application/octet-stream | root:root | 0o644 | 807.0 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.glob
|
text/plain | root:root | 0o644 | 63.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.v
|
text/plain | root:root | 0o644 | 13.2 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.vo
|
application/octet-stream | root:root | 0o644 | 99.9 KB |