/usr/share/ is in spark 2012.0.deb-11.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/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/spark/
|
root:root | 0o755 | ||
/usr/share/spark/smt_prelude.mlw
|
text/plain | root:root | 0o644 | 7 bytes |
/usr/share/spark/checker/
|
root:root | 0o755 | ||
/usr/share/spark/checker/rules/
|
root:root | 0o755 | ||
/usr/share/spark/checker/rules/NUMINEQS.RUL
|
text/plain | root:root | 0o644 | 8.7 KB |
/usr/share/spark/checker/rules/GENINEQS.RUL
|
text/plain | root:root | 0o644 | 5.0 KB |
/usr/share/spark/checker/rules/MODULAR.RUL
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/spark/checker/rules/ENUM.RUL
|
text/plain | root:root | 0o644 | 13.8 KB |
/usr/share/spark/checker/rules/SPECIAL.RUL
|
text/plain | root:root | 0o644 | 7.2 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/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/ARITH.RUL
|
text/plain | root:root | 0o644 | 6.1 KB |
/usr/share/spark/checker/rules/LOGIC.RUL
|
text/plain | root:root | 0o644 | 6.5 KB |
/usr/share/spark/checker/rules/QUANTIF.RUL
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/spark/checker/rules/checker.ini
|
text/plain | root:root | 0o644 | 58 bytes |
/usr/share/spark/checker/rules/INTINEQS.RUL
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/spark/checker/rules/RECORD.RUL
|
text/plain | root:root | 0o644 | 23.9 KB |
/usr/share/spark/checker/rules/FDLFUNCS.RUL
|
text/plain | root:root | 0o644 | 5.8 KB |
/usr/share/spark/checker/rules/ENUMERATION.RUL
|
text/plain | root:root | 0o644 | 7.7 KB |
/usr/share/spark/checker/helptext/
|
root:root | 0o755 | ||
/usr/share/spark/checker/helptext/set.chl
|
text/plain | root:root | 0o644 | 437 bytes |
/usr/share/spark/checker/helptext/rules.chl
|
text/plain | root:root | 0o644 | 949 bytes |
/usr/share/spark/checker/helptext/simplify.chl
|
text/plain | root:root | 0o644 | 537 bytes |
/usr/share/spark/checker/helptext/declare.chl
|
text/plain | root:root | 0o644 | 317 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/rxfdlfunc.chl
|
text/plain | root:root | 0o644 | 649 bytes |
/usr/share/spark/checker/helptext/remember.chl
|
text/plain | root:root | 0o644 | 332 bytes |
/usr/share/spark/checker/helptext/rxspecial.chl
|
text/plain | root:root | 0o644 | 2.9 KB |
/usr/share/spark/checker/helptext/status.chl
|
text/plain | root:root | 0o644 | 316 bytes |
/usr/share/spark/checker/helptext/rxmodular.chl
|
text/plain | root:root | 0o644 | 510 bytes |
/usr/share/spark/checker/helptext/rxsets.chl
|
text/plain | root:root | 0o644 | 692 bytes |
/usr/share/spark/checker/helptext/rxarith.chl
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/spark/checker/helptext/rxquantif.chl
|
text/plain | root:root | 0o644 | 292 bytes |
/usr/share/spark/checker/helptext/infer.chl
|
text/plain | root:root | 0o644 | 652 bytes |
/usr/share/spark/checker/helptext/traverse.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/undelete.chl
|
text/plain | root:root | 0o644 | 333 bytes |
/usr/share/spark/checker/helptext/replace.chl
|
text/plain | root:root | 0o644 | 951 bytes |
/usr/share/spark/checker/helptext/rxlogic.chl
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/spark/checker/helptext/rxrecord.chl
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/spark/checker/helptext/quit.chl
|
text/plain | root:root | 0o644 | 276 bytes |
/usr/share/spark/checker/helptext/consult.chl
|
text/plain | root:root | 0o644 | 848 bytes |
/usr/share/spark/checker/helptext/done.chl
|
text/plain | root:root | 0o644 | 406 bytes |
/usr/share/spark/checker/helptext/instantia.chl
|
text/plain | root:root | 0o644 | 449 bytes |
/usr/share/spark/checker/helptext/exit.chl
|
text/plain | root:root | 0o644 | 182 bytes |
/usr/share/spark/checker/helptext/show.chl
|
text/plain | root:root | 0o644 | 367 bytes |
/usr/share/spark/checker/helptext/standard.chl
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/spark/checker/helptext/forget.chl
|
text/plain | root:root | 0o644 | 648 bytes |
/usr/share/spark/checker/helptext/prove.chl
|
text/plain | root:root | 0o644 | 724 bytes |
/usr/share/spark/checker/helptext/save.chl
|
text/plain | root:root | 0o644 | 333 bytes |
/usr/share/spark/checker/helptext/delete.chl
|
text/plain | root:root | 0o644 | 520 bytes |
/usr/share/spark/checker/helptext/rxseq.chl
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/spark/checker/helptext/printvc.chl
|
text/plain | root:root | 0o644 | 368 bytes |
/usr/share/spark/checker/helptext/help.chl
|
text/plain | root:root | 0o644 | 327 bytes |
/usr/share/spark/checker/helptext/execute.chl
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/spark/checker/helptext/rxarray.chl
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/spark/checker/helptext/deduce.chl
|
text/plain | root:root | 0o644 | 338 bytes |
/usr/share/spark/checker/helptext/unwrap.chl
|
text/plain | root:root | 0o644 | 595 bytes |
/usr/share/spark/checker/helptext/case.chl
|
text/plain | root:root | 0o644 | 493 bytes |
/usr/share/spark/checker/helptext/rxinequal.chl
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/spark/checker/helptext/forwardch.chl
|
text/plain | root:root | 0o644 | 765 bytes |
/usr/share/spark/checker/helptext/rxgenineq.chl
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/spark/prelude.rul
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/share/spark/prelude.fdl
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/spark/divmod.rul
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/spark/
|
root:root | 0o755 | ||
/usr/share/doc/spark/copyright
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/doc/spark/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.0 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/spadesimp.1.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/man/man1/sparkformat.1.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/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/victor.1.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/man/man1/sparkmake.1.gz
|
application/gzip | root:root | 0o644 | 2.0 KB |
/usr/share/man/man1/zombiescope.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/spark.1.gz
|
application/gzip | root:root | 0o644 | 2.2 KB |
/usr/share/man/man1/sparksimp.1.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |