/usr/share/deal.II/misc/ is in libdeal.ii-dev 6.3.1-1.1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/deal.II/misc/head
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/deal.II/misc/head_cc.pl
|
text/plain | root:root | 0o644 | 741 bytes |
/usr/share/deal.II/misc/head_h.pl
|
text/plain | root:root | 0o644 | 845 bytes |