/usr/lib/coq/tactics/ is in libcoq-ocaml-dev 8.4pl4dfsg-3build2.
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.5 KB |
/usr/lib/coq/tactics/autorewrite.cmi
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/lib/coq/tactics/btermdn.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/tactics/class_tactics.cmi
|
application/octet-stream | root:root | 0o644 | 21.8 KB |
/usr/lib/coq/tactics/contradiction.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/tactics/dn.cmi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/coq/tactics/eauto.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/tactics/elim.cmi
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/lib/coq/tactics/elimschemes.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/tactics/eqdecide.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/tactics/eqschemes.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/tactics/equality.cmi
|
application/octet-stream | root:root | 0o644 | 10.9 KB |
/usr/lib/coq/tactics/evar_tactics.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/tactics/extraargs.cmi
|
application/octet-stream | root:root | 0o644 | 6.4 KB |
/usr/lib/coq/tactics/extratactics.cmi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/coq/tactics/hiddentac.cmi
|
application/octet-stream | root:root | 0o644 | 9.9 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 | 549.3 KB |
/usr/lib/coq/tactics/hightactics.cmxa
|
application/octet-stream | root:root | 0o644 | 33.4 KB |
/usr/lib/coq/tactics/hipattern.cmi
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/lib/coq/tactics/inv.cmi
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/lib/coq/tactics/leminv.cmi
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/lib/coq/tactics/nbtermdn.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/tactics/refine.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/tactics/rewrite.cmi
|
application/octet-stream | root:root | 0o644 | 40.3 KB |
/usr/lib/coq/tactics/tacinterp.cmi
|
application/octet-stream | root:root | 0o644 | 11.2 KB |
/usr/lib/coq/tactics/tactic_option.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/tactics/tacticals.cmi
|
application/octet-stream | root:root | 0o644 | 14.3 KB |
/usr/lib/coq/tactics/tactics.a
|
application/x-archive | root:root | 0o644 | 2.0 MB |
/usr/lib/coq/tactics/tactics.cma
|
application/octet-stream | root:root | 0o644 | 508.2 KB |
/usr/lib/coq/tactics/tactics.cmi
|
application/octet-stream | root:root | 0o644 | 23.8 KB |
/usr/lib/coq/tactics/tactics.cmxa
|
application/octet-stream | root:root | 0o644 | 61.7 KB |
/usr/lib/coq/tactics/tauto.cmi
|
application/octet-stream | root:root | 0o644 | 7.7 KB |
/usr/lib/coq/tactics/termdn.cmi
|
application/octet-stream | root:root | 0o644 | 3.1 KB |