spark 2012.0.deb-11+b2 / usr / share / spark

This file is indexed.

/usr/share/spark/ 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/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

APT Browse - Built by Thomas Orozco.