/usr/lib/coq/plugins/micromega/ is in coq-theories 8.4pl3dfsg-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/coq/plugins/micromega/CheckerMaker.vo
|
application/octet-stream | root:root | 0o644 | 598 bytes |
/usr/lib/coq/plugins/micromega/Env.vo
|
application/octet-stream | root:root | 0o644 | 22.2 KB |
/usr/lib/coq/plugins/micromega/EnvRing.vo
|
application/octet-stream | root:root | 0o644 | 376.8 KB |
/usr/lib/coq/plugins/micromega/OrderedRing.vo
|
application/octet-stream | root:root | 0o644 | 164.2 KB |
/usr/lib/coq/plugins/micromega/Psatz.vo
|
application/octet-stream | root:root | 0o644 | 22.3 KB |
/usr/lib/coq/plugins/micromega/QMicromega.vo
|
application/octet-stream | root:root | 0o644 | 39.8 KB |
/usr/lib/coq/plugins/micromega/RMicromega.vo
|
application/octet-stream | root:root | 0o644 | 81.9 KB |
/usr/lib/coq/plugins/micromega/Refl.vo
|
application/octet-stream | root:root | 0o644 | 15.5 KB |
/usr/lib/coq/plugins/micromega/RingMicromega.vo
|
application/octet-stream | root:root | 0o644 | 308.8 KB |
/usr/lib/coq/plugins/micromega/Tauto.vo
|
application/octet-stream | root:root | 0o644 | 74.4 KB |
/usr/lib/coq/plugins/micromega/VarMap.vo
|
application/octet-stream | root:root | 0o644 | 16.6 KB |
/usr/lib/coq/plugins/micromega/ZCoeff.vo
|
application/octet-stream | root:root | 0o644 | 56.7 KB |
/usr/lib/coq/plugins/micromega/ZMicromega.vo
|
application/octet-stream | root:root | 0o644 | 267.6 KB |