/usr/lib/coq/pretyping/ is in libcoq-ocaml-dev 8.4pl4dfsg-1.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/usr/lib/coq/pretyping/arguments_renaming.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/pretyping/cases.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/pretyping/cbv.cmi
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/lib/coq/pretyping/classops.cmi
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/lib/coq/pretyping/coercion.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/pretyping/detyping.cmi
|
application/octet-stream | root:root | 0o644 | 5.1 KB |
/usr/lib/coq/pretyping/evarconv.cmi
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/lib/coq/pretyping/evarutil.cmi
|
application/octet-stream | root:root | 0o644 | 13.3 KB |
/usr/lib/coq/pretyping/evd.cmi
|
application/octet-stream | root:root | 0o644 | 24.4 KB |
/usr/lib/coq/pretyping/glob_term.cmi
|
application/octet-stream | root:root | 0o644 | 8.1 KB |
/usr/lib/coq/pretyping/indrec.cmi
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/lib/coq/pretyping/inductiveops.cmi
|
application/octet-stream | root:root | 0o644 | 8.5 KB |
/usr/lib/coq/pretyping/matching.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/pretyping/namegen.cmi
|
application/octet-stream | root:root | 0o644 | 6.0 KB |
/usr/lib/coq/pretyping/pattern.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/pretyping/pretype_errors.cmi
|
application/octet-stream | root:root | 0o644 | 8.9 KB |
/usr/lib/coq/pretyping/pretyping.a
|
application/x-archive | root:root | 0o644 | 2.3 MB |
/usr/lib/coq/pretyping/pretyping.cma
|
application/octet-stream | root:root | 0o644 | 594.1 KB |
/usr/lib/coq/pretyping/pretyping.cmi
|
application/octet-stream | root:root | 0o644 | 6.0 KB |
/usr/lib/coq/pretyping/pretyping.cmxa
|
application/octet-stream | root:root | 0o644 | 58.6 KB |
/usr/lib/coq/pretyping/recordops.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/pretyping/reductionops.cmi
|
application/octet-stream | root:root | 0o644 | 13.9 KB |
/usr/lib/coq/pretyping/retyping.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/pretyping/tacred.cmi
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/lib/coq/pretyping/term_dnet.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/pretyping/termops.cmi
|
application/octet-stream | root:root | 0o644 | 18.1 KB |
/usr/lib/coq/pretyping/typeclasses.cmi
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/lib/coq/pretyping/typeclasses_errors.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/pretyping/typing.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/pretyping/unification.cmi
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/lib/coq/pretyping/vnorm.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |