/usr/lib/coq/tactics/ is in libcoq-ocaml-dev 8.4pl3dfsg-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/coq/tactics/auto.cmi
|
application/octet-stream | root:root | 0o644 | 13.2 KB |
/usr/lib/coq/tactics/autorewrite.cmi
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/lib/coq/tactics/btermdn.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/tactics/class_tactics.cmi
|
application/octet-stream | root:root | 0o644 | 21.4 KB |
/usr/lib/coq/tactics/contradiction.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/tactics/dn.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/tactics/eauto.cmi
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/lib/coq/tactics/elim.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/tactics/elimschemes.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/tactics/eqdecide.cmi
|
application/octet-stream | root:root | 0o644 | 5.1 KB |
/usr/lib/coq/tactics/eqschemes.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/tactics/equality.cmi
|
application/octet-stream | root:root | 0o644 | 10.7 KB |
/usr/lib/coq/tactics/evar_tactics.cmi
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/lib/coq/tactics/extraargs.cmi
|
application/octet-stream | root:root | 0o644 | 6.3 KB |
/usr/lib/coq/tactics/extratactics.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/tactics/hiddentac.cmi
|
application/octet-stream | root:root | 0o644 | 9.7 KB |
/usr/lib/coq/tactics/hightactics.a
|
application/x-archive | root:root | 0o644 | 2.1 MB |
/usr/lib/coq/tactics/hightactics.cma
|
application/octet-stream | root:root | 0o644 | 540.4 KB |
/usr/lib/coq/tactics/hightactics.cmxa
|
application/octet-stream | root:root | 0o644 | 32.7 KB |
/usr/lib/coq/tactics/hipattern.cmi
|
application/octet-stream | root:root | 0o644 | 6.5 KB |
/usr/lib/coq/tactics/inv.cmi
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/lib/coq/tactics/leminv.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/tactics/nbtermdn.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/tactics/refine.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/tactics/rewrite.cmi
|
application/octet-stream | root:root | 0o644 | 39.7 KB |
/usr/lib/coq/tactics/tacinterp.cmi
|
application/octet-stream | root:root | 0o644 | 11.0 KB |
/usr/lib/coq/tactics/tactic_option.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/tactics/tacticals.cmi
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/lib/coq/tactics/tactics.a
|
application/x-archive | root:root | 0o644 | 2.1 MB |
/usr/lib/coq/tactics/tactics.cma
|
application/octet-stream | root:root | 0o644 | 505.7 KB |
/usr/lib/coq/tactics/tactics.cmi
|
application/octet-stream | root:root | 0o644 | 23.4 KB |
/usr/lib/coq/tactics/tactics.cmxa
|
application/octet-stream | root:root | 0o644 | 60.0 KB |
/usr/lib/coq/tactics/tauto.cmi
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/lib/coq/tactics/termdn.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |