/usr/lib/coq/plugins/ is in coq-theories 8.4pl4dfsg-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/coq/plugins/extraction/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/extraction/ExtrOcamlBasic.vo
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.vo
|
application/octet-stream | root:root | 0o644 | 17.8 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.vo
|
application/octet-stream | root:root | 0o644 | 17.9 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.vo
|
application/octet-stream | root:root | 0o644 | 12.9 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.vo
|
application/octet-stream | root:root | 0o644 | 12.8 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlString.vo
|
application/octet-stream | root:root | 0o644 | 12.3 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlZBigInt.vo
|
application/octet-stream | root:root | 0o644 | 16.2 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlZInt.vo
|
application/octet-stream | root:root | 0o644 | 16.4 KB |
/usr/lib/coq/plugins/field/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/field/LegacyField.vo
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/field/LegacyField_Compl.vo
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/plugins/field/LegacyField_Tactic.vo
|
application/octet-stream | root:root | 0o644 | 46.8 KB |
/usr/lib/coq/plugins/field/LegacyField_Theory.vo
|
application/octet-stream | root:root | 0o644 | 203.4 KB |
/usr/lib/coq/plugins/fourier/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/fourier/Fourier.vo
|
application/octet-stream | root:root | 0o644 | 13.4 KB |
/usr/lib/coq/plugins/fourier/Fourier_util.vo
|
application/octet-stream | root:root | 0o644 | 27.8 KB |
/usr/lib/coq/plugins/funind/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/funind/Recdef.vo
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/lib/coq/plugins/micromega/
|
root:root | 0o755 | ||
/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 |
/usr/lib/coq/plugins/nsatz/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/nsatz/Nsatz.vo
|
application/octet-stream | root:root | 0o644 | 127.2 KB |
/usr/lib/coq/plugins/omega/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/omega/Omega.vo
|
application/octet-stream | root:root | 0o644 | 15.6 KB |
/usr/lib/coq/plugins/omega/OmegaLemmas.vo
|
application/octet-stream | root:root | 0o644 | 54.6 KB |
/usr/lib/coq/plugins/omega/OmegaPlugin.vo
|
application/octet-stream | root:root | 0o644 | 627 bytes |
/usr/lib/coq/plugins/omega/PreOmega.vo
|
application/octet-stream | root:root | 0o644 | 67.3 KB |
/usr/lib/coq/plugins/quote/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/quote/Quote.vo
|
application/octet-stream | root:root | 0o644 | 11.8 KB |
/usr/lib/coq/plugins/ring/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/ring/LegacyArithRing.vo
|
application/octet-stream | root:root | 0o644 | 19.2 KB |
/usr/lib/coq/plugins/ring/LegacyNArithRing.vo
|
application/octet-stream | root:root | 0o644 | 16.0 KB |
/usr/lib/coq/plugins/ring/LegacyRing.vo
|
application/octet-stream | root:root | 0o644 | 13.9 KB |
/usr/lib/coq/plugins/ring/LegacyRing_theory.vo
|
application/octet-stream | root:root | 0o644 | 80.3 KB |
/usr/lib/coq/plugins/ring/LegacyZArithRing.vo
|
application/octet-stream | root:root | 0o644 | 14.5 KB |
/usr/lib/coq/plugins/ring/Ring_abstract.vo
|
application/octet-stream | root:root | 0o644 | 73.4 KB |
/usr/lib/coq/plugins/ring/Ring_normalize.vo
|
application/octet-stream | root:root | 0o644 | 104.8 KB |
/usr/lib/coq/plugins/ring/Setoid_ring.vo
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/coq/plugins/ring/Setoid_ring_normalize.vo
|
application/octet-stream | root:root | 0o644 | 151.5 KB |
/usr/lib/coq/plugins/ring/Setoid_ring_theory.vo
|
application/octet-stream | root:root | 0o644 | 118.5 KB |
/usr/lib/coq/plugins/romega/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/romega/ROmega.vo
|
application/octet-stream | root:root | 0o644 | 11.6 KB |
/usr/lib/coq/plugins/romega/ReflOmegaCore.vo
|
application/octet-stream | root:root | 0o644 | 545.7 KB |
/usr/lib/coq/plugins/rtauto/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/rtauto/Bintree.vo
|
application/octet-stream | root:root | 0o644 | 78.9 KB |
/usr/lib/coq/plugins/rtauto/Rtauto.vo
|
application/octet-stream | root:root | 0o644 | 73.6 KB |
/usr/lib/coq/plugins/setoid_ring/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/setoid_ring/Algebra_syntax.vo
|
application/octet-stream | root:root | 0o644 | 9.7 KB |
/usr/lib/coq/plugins/setoid_ring/ArithRing.vo
|
application/octet-stream | root:root | 0o644 | 24.9 KB |
/usr/lib/coq/plugins/setoid_ring/BinList.vo
|
application/octet-stream | root:root | 0o644 | 12.0 KB |
/usr/lib/coq/plugins/setoid_ring/Cring.vo
|
application/octet-stream | root:root | 0o644 | 121.1 KB |
/usr/lib/coq/plugins/setoid_ring/Field.vo
|
application/octet-stream | root:root | 0o644 | 11.3 KB |
/usr/lib/coq/plugins/setoid_ring/Field_tac.vo
|
application/octet-stream | root:root | 0o644 | 66.8 KB |
/usr/lib/coq/plugins/setoid_ring/Field_theory.vo
|
application/octet-stream | root:root | 0o644 | 660.7 KB |
/usr/lib/coq/plugins/setoid_ring/InitialRing.vo
|
application/octet-stream | root:root | 0o644 | 191.2 KB |
/usr/lib/coq/plugins/setoid_ring/Integral_domain.vo
|
application/octet-stream | root:root | 0o644 | 58.6 KB |
/usr/lib/coq/plugins/setoid_ring/NArithRing.vo
|
application/octet-stream | root:root | 0o644 | 22.1 KB |
/usr/lib/coq/plugins/setoid_ring/Ncring.vo
|
application/octet-stream | root:root | 0o644 | 260.0 KB |
/usr/lib/coq/plugins/setoid_ring/Ncring_initial.vo
|
application/octet-stream | root:root | 0o644 | 160.6 KB |
/usr/lib/coq/plugins/setoid_ring/Ncring_polynom.vo
|
application/octet-stream | root:root | 0o644 | 358.1 KB |
/usr/lib/coq/plugins/setoid_ring/Ncring_tac.vo
|
application/octet-stream | root:root | 0o644 | 112.1 KB |
/usr/lib/coq/plugins/setoid_ring/RealField.vo
|
application/octet-stream | root:root | 0o644 | 56.9 KB |
/usr/lib/coq/plugins/setoid_ring/Ring.vo
|
application/octet-stream | root:root | 0o644 | 24.8 KB |
/usr/lib/coq/plugins/setoid_ring/Ring_base.vo
|
application/octet-stream | root:root | 0o644 | 11.1 KB |
/usr/lib/coq/plugins/setoid_ring/Ring_equiv.vo
|
application/octet-stream | root:root | 0o644 | 14.4 KB |
/usr/lib/coq/plugins/setoid_ring/Ring_polynom.vo
|
application/octet-stream | root:root | 0o644 | 551.7 KB |
/usr/lib/coq/plugins/setoid_ring/Ring_tac.vo
|
application/octet-stream | root:root | 0o644 | 47.5 KB |
/usr/lib/coq/plugins/setoid_ring/Ring_theory.vo
|
application/octet-stream | root:root | 0o644 | 232.9 KB |
/usr/lib/coq/plugins/setoid_ring/Rings_Q.vo
|
application/octet-stream | root:root | 0o644 | 19.9 KB |
/usr/lib/coq/plugins/setoid_ring/Rings_R.vo
|
application/octet-stream | root:root | 0o644 | 29.8 KB |
/usr/lib/coq/plugins/setoid_ring/Rings_Z.vo
|
application/octet-stream | root:root | 0o644 | 15.3 KB |
/usr/lib/coq/plugins/setoid_ring/ZArithRing.vo
|
application/octet-stream | root:root | 0o644 | 22.0 KB |