/usr/include/dparser/ is in mcrl2 201210.1-1ubuntu1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/include/dparser/arg.h
|
text/x-c | root:root | 0o644 | 748 bytes |
/usr/include/dparser/d.h
|
text/x-c | root:root | 0o644 | 2.5 KB |
/usr/include/dparser/dparse.h
|
text/x-c | root:root | 0o644 | 2.6 KB |
/usr/include/dparser/dparse_tables.h
|
text/x-c | root:root | 0o644 | 4.1 KB |
/usr/include/dparser/dparse_tree.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/include/dparser/dsymtab.h
|
text/x-c | root:root | 0o644 | 2.3 KB |
/usr/include/dparser/gram.h
|
text/x-c | root:root | 0o644 | 7.7 KB |
/usr/include/dparser/gramgram.h
|
text/x-c | root:root | 0o644 | 329 bytes |
/usr/include/dparser/lex.h
|
text/x-c | root:root | 0o644 | 500 bytes |
/usr/include/dparser/lr.h
|
text/plain | root:root | 0o644 | 277 bytes |
/usr/include/dparser/mkdparse.h
|
text/x-c | root:root | 0o644 | 346 bytes |
/usr/include/dparser/parse.h
|
text/x-c | root:root | 0o644 | 3.5 KB |
/usr/include/dparser/read_binary.h
|
text/plain | root:root | 0o644 | 768 bytes |
/usr/include/dparser/scan.h
|
text/x-c | root:root | 0o644 | 289 bytes |
/usr/include/dparser/util.h
|
text/x-c | root:root | 0o644 | 3.7 KB |
/usr/include/dparser/write_tables.h
|
text/plain | root:root | 0o644 | 285 bytes |