/usr/lib/coq/interp/ is in libcoq-ocaml-dev 8.4pl3dfsg-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/coq/interp/constrextern.cmi
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/lib/coq/interp/constrintern.cmi
|
application/octet-stream | root:root | 0o644 | 10.9 KB |
/usr/lib/coq/interp/coqlib.cmi
|
application/octet-stream | root:root | 0o644 | 6.9 KB |
/usr/lib/coq/interp/dumpglob.cmi
|
application/octet-stream | root:root | 0o644 | 4.4 KB |
/usr/lib/coq/interp/genarg.cmi
|
application/octet-stream | root:root | 0o644 | 12.9 KB |
/usr/lib/coq/interp/implicit_quantifiers.cmi
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/lib/coq/interp/interp.a
|
application/x-archive | root:root | 0o644 | 1.3 MB |
/usr/lib/coq/interp/interp.cma
|
application/octet-stream | root:root | 0o644 | 337.1 KB |
/usr/lib/coq/interp/interp.cmxa
|
application/octet-stream | root:root | 0o644 | 36.2 KB |
/usr/lib/coq/interp/modintern.cmi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/coq/interp/notation.cmi
|
application/octet-stream | root:root | 0o644 | 8.8 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 | 1.8 KB |
/usr/lib/coq/interp/smartlocate.cmi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/coq/interp/syntax_def.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/interp/topconstr.cmi
|
application/octet-stream | root:root | 0o644 | 15.4 KB |