/usr/lib/coq/plugins/extraction/ 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/extraction/.coq-native/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.o
|
application/x-object | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBigIntConv.cmi
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBigIntConv.cmx
|
application/octet-stream | root:root | 0o644 | 5.1 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBigIntConv.cmxs
|
application/x-sharedlib | root:root | 0o644 | 27.8 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBigIntConv.o
|
application/x-object | root:root | 0o644 | 21.6 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.cmi
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.cmx
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.cmxs
|
application/x-sharedlib | root:root | 0o644 | 27.8 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.o
|
application/x-object | root:root | 0o644 | 21.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.cmx
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.cmxs
|
application/x-sharedlib | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.o
|
application/x-object | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/extraction/ExtrHaskellBasic.glob
|
text/plain | root:root | 0o644 | 390 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellBasic.v
|
text/plain | root:root | 0o644 | 739 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellBasic.vo
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.glob
|
text/plain | root:root | 0o644 | 197 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.v
|
text/plain | root:root | 0o644 | 419 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.vo
|
application/octet-stream | root:root | 0o644 | 23.2 KB |
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.glob
|
text/plain | root:root | 0o644 | 201 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.v
|
text/plain | root:root | 0o644 | 426 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.vo
|
application/octet-stream | root:root | 0o644 | 23.2 KB |
/usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.glob
|
text/plain | root:root | 0o644 | 144 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.v
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.vo
|
application/octet-stream | root:root | 0o644 | 24.9 KB |
/usr/lib/coq/plugins/extraction/ExtrHaskellString.glob
|
text/plain | root:root | 0o644 | 231 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellString.v
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/plugins/extraction/ExtrHaskellString.vo
|
application/octet-stream | root:root | 0o644 | 24.3 KB |
/usr/lib/coq/plugins/extraction/ExtrHaskellZInt.glob
|
text/plain | root:root | 0o644 | 238 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellZInt.v
|
text/plain | root:root | 0o644 | 807 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellZInt.vo
|
application/octet-stream | root:root | 0o644 | 25.7 KB |
/usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.glob
|
text/plain | root:root | 0o644 | 243 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.v
|
text/plain | root:root | 0o644 | 817 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.vo
|
application/octet-stream | root:root | 0o644 | 25.7 KB |
/usr/lib/coq/plugins/extraction/ExtrHaskellZNum.glob
|
text/plain | root:root | 0o644 | 144 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellZNum.v
|
text/plain | root:root | 0o644 | 867 bytes |
/usr/lib/coq/plugins/extraction/ExtrHaskellZNum.vo
|
application/octet-stream | root:root | 0o644 | 25.6 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlBasic.glob
|
text/plain | root:root | 0o644 | 355 bytes |
/usr/lib/coq/plugins/extraction/ExtrOcamlBasic.v
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlBasic.vo
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.glob
|
text/plain | root:root | 0o644 | 7.2 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.v
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.vo
|
application/octet-stream | root:root | 0o644 | 31.1 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.glob
|
text/plain | root:root | 0o644 | 6.8 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.v
|
text/plain | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.vo
|
application/octet-stream | root:root | 0o644 | 31.3 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.glob
|
text/plain | root:root | 0o644 | 382 bytes |
/usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.v
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.vo
|
application/octet-stream | root:root | 0o644 | 25.1 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.glob
|
text/plain | root:root | 0o644 | 379 bytes |
/usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.v
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.vo
|
application/octet-stream | root:root | 0o644 | 25.1 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlString.glob
|
text/plain | root:root | 0o644 | 231 bytes |
/usr/lib/coq/plugins/extraction/ExtrOcamlString.v
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlString.vo
|
application/octet-stream | root:root | 0o644 | 24.0 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlZBigInt.glob
|
text/plain | root:root | 0o644 | 323 bytes |
/usr/lib/coq/plugins/extraction/ExtrOcamlZBigInt.v
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlZBigInt.vo
|
application/octet-stream | root:root | 0o644 | 32.8 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlZInt.glob
|
text/plain | root:root | 0o644 | 318 bytes |
/usr/lib/coq/plugins/extraction/ExtrOcamlZInt.v
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/lib/coq/plugins/extraction/ExtrOcamlZInt.vo
|
application/octet-stream | root:root | 0o644 | 33.0 KB |