/usr/lib/coq/interp/ is in libcoq-ocaml-dev 8.6-4.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/usr/lib/coq/interp/constrarg.cmi
|
application/octet-stream | root:root | 0o644 | 7.1 KB |
/usr/lib/coq/interp/constrexpr_ops.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/interp/constrextern.cmi
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/lib/coq/interp/constrintern.cmi
|
application/octet-stream | root:root | 0o644 | 10.7 KB |
/usr/lib/coq/interp/coqlib.cmi
|
application/octet-stream | root:root | 0o644 | 7.2 KB |
/usr/lib/coq/interp/dumpglob.cmi
|
application/octet-stream | root:root | 0o644 | 5.5 KB |
/usr/lib/coq/interp/genintern.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/interp/implicit_quantifiers.cmi
|
application/octet-stream | root:root | 0o644 | 6.0 KB |
/usr/lib/coq/interp/interp.a
|
application/x-archive | root:root | 0o644 | 1.4 MB |
/usr/lib/coq/interp/interp.cma
|
application/octet-stream | root:root | 0o644 | 1.9 MB |
/usr/lib/coq/interp/interp.cmxa
|
application/octet-stream | root:root | 0o644 | 60.3 KB |
/usr/lib/coq/interp/modintern.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/interp/notation.cmi
|
application/octet-stream | root:root | 0o644 | 12.1 KB |
/usr/lib/coq/interp/notation_ops.cmi
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/lib/coq/interp/ppextend.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/interp/reserve.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/interp/smartlocate.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/interp/stdarg.cmi
|
application/octet-stream | root:root | 0o644 | 837 bytes |
/usr/lib/coq/interp/syntax_def.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/interp/topconstr.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |