/usr/lib/coq/plugins/micromega/ is in coq-theories 8.6-5build1.
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 | 19.1 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Env.o
|
application/x-object | root:root | 0o644 | 8.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.cmi
|
application/octet-stream | root:root | 0o644 | 69.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.cmx
|
application/octet-stream | root:root | 0o644 | 29.7 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.cmxs
|
application/x-sharedlib | root:root | 0o644 | 376.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.o
|
application/x-object | root:root | 0o644 | 440.2 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.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lia.o
|
application/x-object | root:root | 0o644 | 2.6 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.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lqa.o
|
application/x-object | root:root | 0o644 | 2.6 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.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lra.o
|
application/x-object | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.cmi
|
application/octet-stream | root:root | 0o644 | 30.5 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.cmx
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.cmxs
|
application/x-sharedlib | root:root | 0o644 | 112.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.o
|
application/x-object | root:root | 0o644 | 111.8 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.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Psatz.o
|
application/x-object | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_QMicromega.cmi
|
application/octet-stream | root:root | 0o644 | 8.6 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 | 45.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_QMicromega.o
|
application/x-object | root:root | 0o644 | 44.5 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.cmi
|
application/octet-stream | root:root | 0o644 | 16.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.cmx
|
application/octet-stream | root:root | 0o644 | 9.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.cmxs
|
application/x-sharedlib | root:root | 0o644 | 78.9 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.o
|
application/x-object | root:root | 0o644 | 70.7 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.cmi
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.cmx
|
application/octet-stream | root:root | 0o644 | 4.4 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.cmxs
|
application/x-sharedlib | root:root | 0o644 | 29.0 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.o
|
application/x-object | root:root | 0o644 | 21.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.cmi
|
application/octet-stream | root:root | 0o644 | 67.0 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.cmx
|
application/octet-stream | root:root | 0o644 | 29.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.cmxs
|
application/x-sharedlib | root:root | 0o644 | 332.7 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.o
|
application/x-object | root:root | 0o644 | 354.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.cmi
|
application/octet-stream | root:root | 0o644 | 22.9 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.cmx
|
application/octet-stream | root:root | 0o644 | 11.9 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.cmxs
|
application/x-sharedlib | root:root | 0o644 | 124.1 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.o
|
application/x-object | root:root | 0o644 | 125.6 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.cmi
|
application/octet-stream | root:root | 0o644 | 9.9 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.cmx
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.cmxs
|
application/x-sharedlib | root:root | 0o644 | 46.8 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.o
|
application/x-object | root:root | 0o644 | 40.8 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.cmi
|
application/octet-stream | root:root | 0o644 | 11.8 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.cmx
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.cmxs
|
application/x-sharedlib | root:root | 0o644 | 45.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.o
|
application/x-object | root:root | 0o644 | 33.2 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.cmi
|
application/octet-stream | root:root | 0o644 | 29.9 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.cmx
|
application/octet-stream | root:root | 0o644 | 16.3 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.cmxs
|
application/x-sharedlib | root:root | 0o644 | 176.8 KB |
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.o
|
application/x-object | root:root | 0o644 | 213.6 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.5 KB |