/usr/lib/coq/pretyping/ 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/pretyping/arguments_renaming.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/pretyping/cases.cmi
|
application/octet-stream | root:root | 0o644 | 8.0 KB |
/usr/lib/coq/pretyping/cbv.cmi
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/lib/coq/pretyping/classops.cmi
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/lib/coq/pretyping/coercion.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/pretyping/constr_matching.cmi
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/lib/coq/pretyping/detyping.cmi
|
application/octet-stream | root:root | 0o644 | 7.4 KB |
/usr/lib/coq/pretyping/evarconv.cmi
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/lib/coq/pretyping/evardefine.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/pretyping/evarsolve.cmi
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/lib/coq/pretyping/find_subterm.cmi
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/pretyping/glob_ops.cmi
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/lib/coq/pretyping/indrec.cmi
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/lib/coq/pretyping/inductiveops.cmi
|
application/octet-stream | root:root | 0o644 | 13.0 KB |
/usr/lib/coq/pretyping/locusops.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/pretyping/miscops.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/pretyping/nativenorm.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/pretyping/patternops.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/pretyping/pretype_errors.cmi
|
application/octet-stream | root:root | 0o644 | 10.8 KB |
/usr/lib/coq/pretyping/pretyping.a
|
application/x-archive | root:root | 0o644 | 3.1 MB |
/usr/lib/coq/pretyping/pretyping.cma
|
application/octet-stream | root:root | 0o644 | 3.6 MB |
/usr/lib/coq/pretyping/pretyping.cmi
|
application/octet-stream | root:root | 0o644 | 8.3 KB |
/usr/lib/coq/pretyping/pretyping.cmxa
|
application/octet-stream | root:root | 0o644 | 93.6 KB |
/usr/lib/coq/pretyping/program.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/pretyping/recordops.cmi
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/lib/coq/pretyping/redops.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/lib/coq/pretyping/reductionops.cmi
|
application/octet-stream | root:root | 0o644 | 20.6 KB |
/usr/lib/coq/pretyping/retyping.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/pretyping/tacred.cmi
|
application/octet-stream | root:root | 0o644 | 5.7 KB |
/usr/lib/coq/pretyping/typeclasses.cmi
|
application/octet-stream | root:root | 0o644 | 9.6 KB |
/usr/lib/coq/pretyping/typeclasses_errors.cmi
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/lib/coq/pretyping/typing.cmi
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/lib/coq/pretyping/unification.cmi
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/lib/coq/pretyping/vnorm.cmi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |