This file is indexed.

/usr/ is in spark 2012.0.deb-11+b2.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/ root:root 0o755
/usr/share/doc/spark/ root:root 0o755
/usr/share/doc/spark/changelog.Debian.amd64.gz application/gzip root:root 0o644 221 bytes
/usr/share/doc/spark/changelog.Debian.gz application/gzip root:root 0o644 2.2 KB
/usr/bin/ root:root 0o755
/usr/bin/checker application/octet-stream root:root 0o755 698.7 KB
/usr/bin/pogs application/x-sharedlib root:root 0o755 435.9 KB
/usr/bin/spadesimp application/octet-stream root:root 0o755 857.6 KB
/usr/bin/spark application/x-sharedlib root:root 0o755 2.9 MB
/usr/bin/sparkclean application/x-sharedlib root:root 0o755 35.0 KB
/usr/bin/sparkformat application/x-sharedlib root:root 0o755 881.7 KB
/usr/bin/sparkmake application/x-sharedlib root:root 0o755 929.3 KB
/usr/bin/sparksimp application/x-sharedlib root:root 0o755 96.2 KB
/usr/bin/vct application/x-sharedlib root:root 0o755 787.4 KB
/usr/bin/victor application/x-sharedlib root:root 0o755 171.8 KB
/usr/bin/wrap_utility application/x-sharedlib root:root 0o755 75.5 KB
/usr/bin/zombiescope application/octet-stream root:root 0o755 857.6 KB
/usr/lib/ root:root 0o755
/usr/lib/spark/ root:root 0o755
/usr/lib/spark/confgen.adb text/plain root:root 0o644 6.5 KB
/usr/lib/spark/current/ root:root 0o755
/usr/lib/spark/current/ada-characters-handling.shs text/plain root:root 0o644 5.1 KB
/usr/lib/spark/current/ada.idx text/plain root:root 0o644 529 bytes
/usr/lib/spark/current/all.wrn text/plain root:root 0o644 147 bytes
/usr/lib/spark/current/current.sum text/plain root:root 0o644 45.9 KB
/usr/lib/spark/current/gnat.cfg text/plain root:root 0o644 218 bytes
/usr/lib/spark/current/interfaces-c.shs text/plain root:root 0o644 3.9 KB
/usr/lib/spark/current/interfaces.idx text/plain root:root 0o644 98 bytes
/usr/lib/spark/current/interfaces.shs text/plain root:root 0o644 3.9 KB
/usr/lib/spark/current/spark-ada-command_line-unbounded_string.adb text/plain root:root 0o644 1.6 KB
/usr/lib/spark/current/spark-ada-command_line-unbounded_string.ads text/plain root:root 0o644 3.2 KB
/usr/lib/spark/current/spark-ada-command_line.adb text/plain root:root 0o644 1.4 KB
/usr/lib/spark/current/spark-ada-command_line.ads text/plain root:root 0o644 3.2 KB
/usr/lib/spark/current/spark-ada-containers.ads text/plain root:root 0o644 3.0 KB
/usr/lib/spark/current/spark-ada-strings-maps-not_spark.adb text/plain root:root 0o644 3.1 KB
/usr/lib/spark/current/spark-ada-strings-maps-not_spark.ads text/plain root:root 0o644 3.1 KB
/usr/lib/spark/current/spark-ada-strings-maps.adb text/plain root:root 0o644 4.7 KB
/usr/lib/spark/current/spark-ada-strings-maps.ads text/plain root:root 0o644 6.7 KB
/usr/lib/spark/current/spark-ada-strings-not_spark.adb text/plain root:root 0o644 3.0 KB
/usr/lib/spark/current/spark-ada-strings-not_spark.ads text/plain root:root 0o644 2.6 KB
/usr/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb text/plain root:root 0o644 4.3 KB
/usr/lib/spark/current/spark-ada-strings-unbounded-not_spark.ads text/plain root:root 0o644 3.0 KB
/usr/lib/spark/current/spark-ada-strings-unbounded.adb text/plain root:root 0o644 24.4 KB
/usr/lib/spark/current/spark-ada-strings-unbounded.ads text/plain root:root 0o644 29.0 KB
/usr/lib/spark/current/spark-ada-strings.ads text/plain root:root 0o644 3.3 KB
/usr/lib/spark/current/spark-ada-text_io-not_spark.adb text/plain root:root 0o644 4.2 KB
/usr/lib/spark/current/spark-ada-text_io-not_spark.ads text/plain root:root 0o644 2.8 KB
/usr/lib/spark/current/spark-ada-text_io-unbounded_string.adb text/plain root:root 0o644 9.4 KB
/usr/lib/spark/current/spark-ada-text_io-unbounded_string.ads text/plain root:root 0o644 8.2 KB
/usr/lib/spark/current/spark-ada-text_io.adb text/plain root:root 0o644 38.9 KB
/usr/lib/spark/current/spark-ada-text_io.ads text/plain root:root 0o644 26.3 KB
/usr/lib/spark/current/spark-ada.ads text/plain root:root 0o644 2.7 KB
/usr/lib/spark/current/spark-crypto-debug.adb text/plain root:root 0o644 3.1 KB
/usr/lib/spark/current/spark-crypto-debug.ads text/plain root:root 0o644 3.1 KB
/usr/lib/spark/current/spark-crypto-hash-skein.adb text/plain root:root 0o644 38.2 KB
/usr/lib/spark/current/spark-crypto-hash-skein.ads text/plain root:root 0o644 13.5 KB
/usr/lib/spark/current/spark-crypto-hash.ads text/plain root:root 0o644 2.8 KB
/usr/lib/spark/current/spark-crypto.ads text/plain root:root 0o644 4.0 KB
/usr/lib/spark/current/spark-unsigned.adb text/plain root:root 0o644 968 bytes
/usr/lib/spark/current/spark-unsigned.ads text/plain root:root 0o644 9.1 KB
/usr/lib/spark/current/spark-unsigned.shs text/plain root:root 0o644 9.2 KB
/usr/lib/spark/current/spark.ads text/plain root:root 0o644 2.7 KB
/usr/lib/spark/current/spark.idx text/plain root:root 0o644 1.2 KB
/usr/lib/spark/current/spark.smf text/plain root:root 0o644 191 bytes
/usr/lib/spark/current/spark.sw text/plain root:root 0o644 61 bytes
/usr/lib/spark/current/sparklib.idx text/plain root:root 0o644 111 bytes
/usr/lib/spark/errors.htm text/html root:root 0o644 209.4 KB
/usr/lib/spark/spark_io.adb text/plain root:root 0o644 22.6 KB
/usr/lib/spark/spark_io.ads text/plain root:root 0o644 17.0 KB
/usr/lib/spark/spark_io_05.adb text/plain root:root 0o644 22.2 KB
/usr/lib/spark/spark_io_05.ads text/plain root:root 0o644 16.6 KB
/usr/lib/spark/sparkreport.xsd text/plain root:root 0o644 6.4 KB
/usr/share/ root:root 0o755
/usr/share/doc/spark/copyright text/plain root:root 0o644 2.1 KB
/usr/share/lintian/ root:root 0o755
/usr/share/lintian/overrides/ root:root 0o755
/usr/share/lintian/overrides/spark text/plain root:root 0o644 44 bytes
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/checker.1.gz application/gzip root:root 0o644 857 bytes
/usr/share/man/man1/pogs.1.gz application/gzip root:root 0o644 1.2 KB
/usr/share/man/man1/spadesimp.1.gz application/gzip root:root 0o644 1.3 KB
/usr/share/man/man1/spark.1.gz application/gzip root:root 0o644 2.2 KB
/usr/share/man/man1/sparkformat.1.gz application/gzip root:root 0o644 1.3 KB
/usr/share/man/man1/sparkmake.1.gz application/gzip root:root 0o644 2.0 KB
/usr/share/man/man1/sparksimp.1.gz application/gzip root:root 0o644 1.4 KB
/usr/share/man/man1/victor.1.gz application/gzip root:root 0o644 1.4 KB
/usr/share/man/man1/zombiescope.1.gz application/gzip root:root 0o644 1.1 KB
/usr/share/spark/ root:root 0o755
/usr/share/spark/checker/ root:root 0o755
/usr/share/spark/checker/helptext/ root:root 0o755
/usr/share/spark/checker/helptext/case.chl text/plain root:root 0o644 493 bytes
/usr/share/spark/checker/helptext/consult.chl text/plain root:root 0o644 848 bytes
/usr/share/spark/checker/helptext/declare.chl text/plain root:root 0o644 317 bytes
/usr/share/spark/checker/helptext/deduce.chl text/plain root:root 0o644 338 bytes
/usr/share/spark/checker/helptext/delete.chl text/plain root:root 0o644 520 bytes
/usr/share/spark/checker/helptext/done.chl text/plain root:root 0o644 406 bytes
/usr/share/spark/checker/helptext/execute.chl text/plain root:root 0o644 1.4 KB
/usr/share/spark/checker/helptext/exit.chl text/plain root:root 0o644 182 bytes
/usr/share/spark/checker/helptext/forget.chl text/plain root:root 0o644 648 bytes
/usr/share/spark/checker/helptext/forwardch.chl text/plain root:root 0o644 765 bytes
/usr/share/spark/checker/helptext/help.chl text/plain root:root 0o644 327 bytes
/usr/share/spark/checker/helptext/infer.chl text/plain root:root 0o644 652 bytes
/usr/share/spark/checker/helptext/instantia.chl text/plain root:root 0o644 449 bytes
/usr/share/spark/checker/helptext/list.chl text/plain root:root 0o644 411 bytes
/usr/share/spark/checker/helptext/newvc.chl text/plain root:root 0o644 1.0 KB
/usr/share/spark/checker/helptext/printvc.chl text/plain root:root 0o644 368 bytes
/usr/share/spark/checker/helptext/prove.chl text/plain root:root 0o644 724 bytes
/usr/share/spark/checker/helptext/quit.chl text/plain root:root 0o644 276 bytes
/usr/share/spark/checker/helptext/remember.chl text/plain root:root 0o644 332 bytes
/usr/share/spark/checker/helptext/replace.chl text/plain root:root 0o644 951 bytes
/usr/share/spark/checker/helptext/rules.chl text/plain root:root 0o644 949 bytes
/usr/share/spark/checker/helptext/rxarith.chl text/plain root:root 0o644 2.4 KB
/usr/share/spark/checker/helptext/rxarray.chl text/plain root:root 0o644 1.4 KB
/usr/share/spark/checker/helptext/rxenum.chl text/plain root:root 0o644 948 bytes
/usr/share/spark/checker/helptext/rxfdlfunc.chl text/plain root:root 0o644 649 bytes
/usr/share/spark/checker/helptext/rxgenineq.chl text/plain root:root 0o644 1.1 KB
/usr/share/spark/checker/helptext/rxinequal.chl text/plain root:root 0o644 2.5 KB
/usr/share/spark/checker/helptext/rxlogic.chl text/plain root:root 0o644 2.2 KB
/usr/share/spark/checker/helptext/rxmodular.chl text/plain root:root 0o644 510 bytes
/usr/share/spark/checker/helptext/rxquantif.chl text/plain root:root 0o644 292 bytes
/usr/share/spark/checker/helptext/rxrecord.chl text/plain root:root 0o644 2.1 KB
/usr/share/spark/checker/helptext/rxseq.chl text/plain root:root 0o644 2.7 KB
/usr/share/spark/checker/helptext/rxsets.chl text/plain root:root 0o644 692 bytes
/usr/share/spark/checker/helptext/rxspecial.chl text/plain root:root 0o644 2.9 KB
/usr/share/spark/checker/helptext/save.chl text/plain root:root 0o644 333 bytes
/usr/share/spark/checker/helptext/set.chl text/plain root:root 0o644 437 bytes
/usr/share/spark/checker/helptext/show.chl text/plain root:root 0o644 367 bytes
/usr/share/spark/checker/helptext/simplify.chl text/plain root:root 0o644 537 bytes
/usr/share/spark/checker/helptext/standard.chl text/plain root:root 0o644 1.1 KB
/usr/share/spark/checker/helptext/status.chl text/plain root:root 0o644 316 bytes
/usr/share/spark/checker/helptext/traverse.chl text/plain root:root 0o644 1.4 KB
/usr/share/spark/checker/helptext/undelete.chl text/plain root:root 0o644 333 bytes
/usr/share/spark/checker/helptext/unwrap.chl text/plain root:root 0o644 595 bytes
/usr/share/spark/checker/rules/ root:root 0o755
/usr/share/spark/checker/rules/ARITH.RUL text/plain root:root 0o644 6.1 KB
/usr/share/spark/checker/rules/ARRAY.RUL text/plain root:root 0o644 4.3 KB
/usr/share/spark/checker/rules/BITWISE.RUL text/plain root:root 0o644 6.9 KB
/usr/share/spark/checker/rules/ENUM.RUL text/plain root:root 0o644 13.8 KB
/usr/share/spark/checker/rules/ENUMERATION.RUL text/plain root:root 0o644 7.7 KB
/usr/share/spark/checker/rules/FDLFUNCS.RUL text/plain root:root 0o644 5.8 KB
/usr/share/spark/checker/rules/GENINEQS.RUL text/plain root:root 0o644 5.0 KB
/usr/share/spark/checker/rules/INTINEQS.RUL text/plain root:root 0o644 2.7 KB
/usr/share/spark/checker/rules/LOGIC.RUL text/plain root:root 0o644 6.5 KB
/usr/share/spark/checker/rules/MODULAR.RUL text/plain root:root 0o644 4.1 KB
/usr/share/spark/checker/rules/NUMINEQS.RUL text/plain root:root 0o644 8.7 KB
/usr/share/spark/checker/rules/QUANTIF.RUL text/plain root:root 0o644 4.0 KB
/usr/share/spark/checker/rules/RECORD.RUL text/plain root:root 0o644 23.9 KB
/usr/share/spark/checker/rules/SEQ.RUL text/plain root:root 0o644 6.0 KB
/usr/share/spark/checker/rules/SETS.RUL text/plain root:root 0o644 5.2 KB
/usr/share/spark/checker/rules/SPECIAL.RUL text/plain root:root 0o644 7.2 KB
/usr/share/spark/checker/rules/checker.ini text/plain root:root 0o644 58 bytes
/usr/share/spark/divmod.rul text/plain root:root 0o644 2.2 KB
/usr/share/spark/prelude.fdl text/plain root:root 0o644 1.2 KB
/usr/share/spark/prelude.rul text/plain root:root 0o644 3.3 KB
/usr/share/spark/smt_prelude.mlw text/plain root:root 0o644 7 bytes