/usr/lib/coq/plugins/micromega/ is in coq-theories 8.6-4.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/coq/plugins/micromega/.coq-native/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Env.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Env.cmx
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Env.cmxs
|
application/x-sharedlib | root:root | 0o644 | 18.5 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Env.o
|
application/x-object | root:root | 0o644 | 7.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.cmi
|
application/octet-stream | root:root | 0o644 | 72.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.cmx
|
application/octet-stream | root:root | 0o644 | 28.8 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.cmxs
|
application/x-sharedlib | root:root | 0o644 | 344.0 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.o
|
application/x-object | root:root | 0o644 | 386.5 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lia.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lia.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lia.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lia.o
|
application/x-object | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lqa.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lqa.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lqa.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lqa.o
|
application/x-object | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lra.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lra.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lra.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lra.o
|
application/x-object | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.cmi
|
application/octet-stream | root:root | 0o644 | 31.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.cmx
|
application/octet-stream | root:root | 0o644 | 10.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.cmxs
|
application/x-sharedlib | root:root | 0o644 | 105.8 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.o
|
application/x-object | root:root | 0o644 | 97.9 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Psatz.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Psatz.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Psatz.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Psatz.o
|
application/x-object | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_QMicromega.cmi
|
application/octet-stream | root:root | 0o644 | 8.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_QMicromega.cmx
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_QMicromega.cmxs
|
application/x-sharedlib | root:root | 0o644 | 42.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_QMicromega.o
|
application/x-object | root:root | 0o644 | 39.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.cmi
|
application/octet-stream | root:root | 0o644 | 16.5 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.cmx
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.cmxs
|
application/x-sharedlib | root:root | 0o644 | 70.1 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.o
|
application/x-object | root:root | 0o644 | 61.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.cmi
|
application/octet-stream | root:root | 0o644 | 5.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.cmx
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.cmxs
|
application/x-sharedlib | root:root | 0o644 | 27.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.o
|
application/x-object | root:root | 0o644 | 18.8 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.cmi
|
application/octet-stream | root:root | 0o644 | 68.9 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.cmx
|
application/octet-stream | root:root | 0o644 | 29.0 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.cmxs
|
application/x-sharedlib | root:root | 0o644 | 315.9 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.o
|
application/x-object | root:root | 0o644 | 317.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.cmi
|
application/octet-stream | root:root | 0o644 | 23.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.cmx
|
application/octet-stream | root:root | 0o644 | 11.7 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.cmxs
|
application/x-sharedlib | root:root | 0o644 | 117.9 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.o
|
application/x-object | root:root | 0o644 | 112.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.cmi
|
application/octet-stream | root:root | 0o644 | 10.1 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.cmx
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.cmxs
|
application/x-sharedlib | root:root | 0o644 | 49.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.o
|
application/x-object | root:root | 0o644 | 37.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.cmi
|
application/octet-stream | root:root | 0o644 | 12.0 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.cmx
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.cmxs
|
application/x-sharedlib | root:root | 0o644 | 38.7 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.o
|
application/x-object | root:root | 0o644 | 27.8 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.cmi
|
application/octet-stream | root:root | 0o644 | 29.5 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.cmx
|
application/octet-stream | root:root | 0o644 | 16.0 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.cmxs
|
application/x-sharedlib | root:root | 0o644 | 155.7 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.o
|
application/x-object | root:root | 0o644 | 188.8 KB |
/usr/lib/coq/plugins/micromega/Env.glob
|
text/plain | root:root | 0o644 | 9.9 KB |
/usr/lib/coq/plugins/micromega/Env.v
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/plugins/micromega/Env.vo
|
application/octet-stream | root:root | 0o644 | 31.6 KB |
/usr/lib/coq/plugins/micromega/EnvRing.glob
|
text/plain | root:root | 0o644 | 130.7 KB |
/usr/lib/coq/plugins/micromega/EnvRing.v
|
text/plain | root:root | 0o644 | 30.3 KB |
/usr/lib/coq/plugins/micromega/EnvRing.vo
|
application/octet-stream | root:root | 0o644 | 332.6 KB |
/usr/lib/coq/plugins/micromega/Lia.glob
|
text/plain | root:root | 0o644 | 737 bytes |
/usr/lib/coq/plugins/micromega/Lia.v
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/lib/coq/plugins/micromega/Lia.vo
|
application/octet-stream | root:root | 0o644 | 34.4 KB |
/usr/lib/coq/plugins/micromega/Lqa.glob
|
text/plain | root:root | 0o644 | 702 bytes |
/usr/lib/coq/plugins/micromega/Lqa.v
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/micromega/Lqa.vo
|
application/octet-stream | root:root | 0o644 | 34.9 KB |
/usr/lib/coq/plugins/micromega/Lra.glob
|
text/plain | root:root | 0o644 | 851 bytes |
/usr/lib/coq/plugins/micromega/Lra.v
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/micromega/Lra.vo
|
application/octet-stream | root:root | 0o644 | 35.3 KB |
/usr/lib/coq/plugins/micromega/OrderedRing.glob
|
text/plain | root:root | 0o644 | 74.9 KB |
/usr/lib/coq/plugins/micromega/OrderedRing.v
|
text/plain | root:root | 0o644 | 13.8 KB |
/usr/lib/coq/plugins/micromega/OrderedRing.vo
|
application/octet-stream | root:root | 0o644 | 121.6 KB |
/usr/lib/coq/plugins/micromega/Psatz.glob
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/lib/coq/plugins/micromega/Psatz.v
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/micromega/Psatz.vo
|
application/octet-stream | root:root | 0o644 | 36.0 KB |
/usr/lib/coq/plugins/micromega/QMicromega.glob
|
text/plain | root:root | 0o644 | 21.1 KB |
/usr/lib/coq/plugins/micromega/QMicromega.v
|
text/plain | root:root | 0o644 | 6.5 KB |
/usr/lib/coq/plugins/micromega/QMicromega.vo
|
application/octet-stream | root:root | 0o644 | 54.4 KB |
/usr/lib/coq/plugins/micromega/RMicromega.glob
|
text/plain | root:root | 0o644 | 52.1 KB |
/usr/lib/coq/plugins/micromega/RMicromega.v
|
text/plain | root:root | 0o644 | 13.5 KB |
/usr/lib/coq/plugins/micromega/RMicromega.vo
|
application/octet-stream | root:root | 0o644 | 91.4 KB |
/usr/lib/coq/plugins/micromega/Refl.glob
|
text/plain | root:root | 0o644 | 9.0 KB |
/usr/lib/coq/plugins/micromega/Refl.v
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/lib/coq/plugins/micromega/Refl.vo
|
application/octet-stream | root:root | 0o644 | 22.2 KB |
/usr/lib/coq/plugins/micromega/RingMicromega.glob
|
text/plain | root:root | 0o644 | 170.1 KB |
/usr/lib/coq/plugins/micromega/RingMicromega.v
|
text/plain | root:root | 0o644 | 30.8 KB |
/usr/lib/coq/plugins/micromega/RingMicromega.vo
|
application/octet-stream | root:root | 0o644 | 261.9 KB |
/usr/lib/coq/plugins/micromega/Tauto.glob
|
text/plain | root:root | 0o644 | 37.1 KB |
/usr/lib/coq/plugins/micromega/Tauto.v
|
text/plain | root:root | 0o644 | 13.9 KB |
/usr/lib/coq/plugins/micromega/Tauto.vo
|
application/octet-stream | root:root | 0o644 | 72.5 KB |
/usr/lib/coq/plugins/micromega/VarMap.glob
|
text/plain | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/plugins/micromega/VarMap.v
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/plugins/micromega/VarMap.vo
|
application/octet-stream | root:root | 0o644 | 30.9 KB |
/usr/lib/coq/plugins/micromega/ZCoeff.glob
|
text/plain | root:root | 0o644 | 26.0 KB |
/usr/lib/coq/plugins/micromega/ZCoeff.v
|
text/plain | root:root | 0o644 | 5.3 KB |
/usr/lib/coq/plugins/micromega/ZCoeff.vo
|
application/octet-stream | root:root | 0o644 | 61.4 KB |
/usr/lib/coq/plugins/micromega/ZMicromega.glob
|
text/plain | root:root | 0o644 | 136.4 KB |
/usr/lib/coq/plugins/micromega/ZMicromega.v
|
text/plain | root:root | 0o644 | 30.3 KB |
/usr/lib/coq/plugins/micromega/ZMicromega.vo
|
application/octet-stream | root:root | 0o644 | 224.4 KB |