/usr/lib/coq/tactics/ is in libcoq-ocaml-dev 8.6-5build1.
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 | 7.2 KB |
/usr/lib/coq/tactics/autorewrite.cmi
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/lib/coq/tactics/btermdn.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/tactics/class_tactics.cmi
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/lib/coq/tactics/contradiction.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/tactics/dn.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/lib/coq/tactics/dnet.cmi
|
application/octet-stream | root:root | 0o644 | 10.5 KB |
/usr/lib/coq/tactics/eauto.cmi
|
application/octet-stream | root:root | 0o644 | 5.1 KB |
/usr/lib/coq/tactics/elim.cmi
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/tactics/elimschemes.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/tactics/eqdecide.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/tactics/eqschemes.cmi
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/lib/coq/tactics/equality.cmi
|
application/octet-stream | root:root | 0o644 | 11.8 KB |
/usr/lib/coq/tactics/hints.cmi
|
application/octet-stream | root:root | 0o644 | 14.3 KB |
/usr/lib/coq/tactics/hipattern.cmi
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/lib/coq/tactics/inv.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/tactics/leminv.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/tactics/tactic_matching.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/tactics/tacticals.cmi
|
application/octet-stream | root:root | 0o644 | 22.5 KB |
/usr/lib/coq/tactics/tactics.a
|
application/x-archive | root:root | 0o644 | 2.6 MB |
/usr/lib/coq/tactics/tactics.cma
|
application/octet-stream | root:root | 0o644 | 2.9 MB |
/usr/lib/coq/tactics/tactics.cmi
|
application/octet-stream | root:root | 0o644 | 31.3 KB |
/usr/lib/coq/tactics/tactics.cmxa
|
application/octet-stream | root:root | 0o644 | 80.8 KB |
/usr/lib/coq/tactics/term_dnet.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |