/usr/lib/coq/pretyping/ 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/pretyping/arguments_renaming.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/pretyping/cases.cmi
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/pretyping/cbv.cmi
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/lib/coq/pretyping/classops.cmi
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/coq/pretyping/coercion.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/pretyping/detyping.cmi
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/lib/coq/pretyping/evarconv.cmi
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/pretyping/evarutil.cmi
|
application/octet-stream | root:root | 0o644 | 13.5 KB |
/usr/lib/coq/pretyping/evd.cmi
|
application/octet-stream | root:root | 0o644 | 25.1 KB |
/usr/lib/coq/pretyping/glob_term.cmi
|
application/octet-stream | root:root | 0o644 | 8.4 KB |
/usr/lib/coq/pretyping/indrec.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/pretyping/inductiveops.cmi
|
application/octet-stream | root:root | 0o644 | 8.7 KB |
/usr/lib/coq/pretyping/matching.cmi
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/lib/coq/pretyping/namegen.cmi
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/lib/coq/pretyping/pattern.cmi
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/lib/coq/pretyping/pretype_errors.cmi
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/lib/coq/pretyping/pretyping.a
|
application/x-archive | root:root | 0o644 | 2.2 MB |
/usr/lib/coq/pretyping/pretyping.cma
|
application/octet-stream | root:root | 0o644 | 595.8 KB |
/usr/lib/coq/pretyping/pretyping.cmi
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/lib/coq/pretyping/pretyping.cmxa
|
application/octet-stream | root:root | 0o644 | 60.1 KB |
/usr/lib/coq/pretyping/recordops.cmi
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/lib/coq/pretyping/reductionops.cmi
|
application/octet-stream | root:root | 0o644 | 14.2 KB |
/usr/lib/coq/pretyping/retyping.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/pretyping/tacred.cmi
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/lib/coq/pretyping/term_dnet.cmi
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/lib/coq/pretyping/termops.cmi
|
application/octet-stream | root:root | 0o644 | 18.4 KB |
/usr/lib/coq/pretyping/typeclasses.cmi
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/lib/coq/pretyping/typeclasses_errors.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/pretyping/typing.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/pretyping/unification.cmi
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/lib/coq/pretyping/vnorm.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |