/usr/share/texmacs/TeXmacs/plugins/coq/ is in texmacs-common 1:1.0.7.18-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/texmacs/TeXmacs/plugins/coq/packages/
|
root:root | 0o755 | ||
/usr/share/texmacs/TeXmacs/plugins/coq/packages/session/
|
root:root | 0o755 | ||
/usr/share/texmacs/TeXmacs/plugins/coq/packages/session/coq.ts
|
text/texmacs | root:root | 0o644 | 1.7 KB |
/usr/share/texmacs/TeXmacs/plugins/coq/progs/
|
root:root | 0o755 | ||
/usr/share/texmacs/TeXmacs/plugins/coq/progs/coq-edit.scm
|
text/plain | root:root | 0o644 | 5.0 KB |
/usr/share/texmacs/TeXmacs/plugins/coq/progs/coq-kbd.scm
|
text/plain | root:root | 0o644 | 996 bytes |
/usr/share/texmacs/TeXmacs/plugins/coq/progs/init-coq.scm
|
text/plain | root:root | 0o644 | 927 bytes |