/usr/lib/coq/interp/ 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/interp/constrextern.cmi
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/lib/coq/interp/constrintern.cmi
|
application/octet-stream | root:root | 0o644 | 11.0 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 | 4.6 KB |
/usr/lib/coq/interp/genarg.cmi
|
application/octet-stream | root:root | 0o644 | 13.6 KB |
/usr/lib/coq/interp/implicit_quantifiers.cmi
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/coq/interp/interp.a
|
application/x-archive | root:root | 0o644 | 1.2 MB |
/usr/lib/coq/interp/interp.cma
|
application/octet-stream | root:root | 0o644 | 339.1 KB |
/usr/lib/coq/interp/interp.cmxa
|
application/octet-stream | root:root | 0o644 | 37.4 KB |
/usr/lib/coq/interp/modintern.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/interp/notation.cmi
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/lib/coq/interp/ppextend.cmi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/coq/interp/reserve.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/interp/smartlocate.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/interp/syntax_def.cmi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/coq/interp/topconstr.cmi
|
application/octet-stream | root:root | 0o644 | 15.9 KB |