This file is indexed.

/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