/usr/lib/x86_64-linux-gnu/ is in why3 0.88.3-1ubuntu4.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/x86_64-linux-gnu/why3/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/commands/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/commands/why3config
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3doc
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3execute
|
application/x-sharedlib | root:root | 0o755 | 8.9 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3extract
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3ide
|
application/x-sharedlib | root:root | 0o755 | 12.6 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3prove
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3realize
|
application/x-sharedlib | root:root | 0o755 | 8.9 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3replay
|
application/x-sharedlib | root:root | 0o755 | 9.0 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3session
|
application/x-sharedlib | root:root | 0o755 | 9.3 MB |
/usr/lib/x86_64-linux-gnu/why3/commands/why3wc
|
application/x-sharedlib | root:root | 0o755 | 2.0 MB |
/usr/lib/x86_64-linux-gnu/why3/plugins/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/why3/plugins/dimacs.cmxs
|
application/x-sharedlib | root:root | 0o644 | 5.8 KB |
/usr/lib/x86_64-linux-gnu/why3/plugins/genequlin.cmxs
|
application/x-sharedlib | root:root | 0o644 | 5.8 KB |
/usr/lib/x86_64-linux-gnu/why3/plugins/hypothesis_selection.cmxs
|
application/x-sharedlib | root:root | 0o644 | 5.8 KB |
/usr/lib/x86_64-linux-gnu/why3/plugins/python.cmxs
|
application/x-sharedlib | root:root | 0o644 | 164.6 KB |
/usr/lib/x86_64-linux-gnu/why3/plugins/tptp.cmxs
|
application/x-sharedlib | root:root | 0o644 | 326.9 KB |
/usr/lib/x86_64-linux-gnu/why3/why3-call-pvs
|
text/x-shellscript | root:root | 0o755 | 160 bytes |
/usr/lib/x86_64-linux-gnu/why3/why3cpulimit
|
application/x-sharedlib | root:root | 0o755 | 10.0 KB |
/usr/lib/x86_64-linux-gnu/why3/why3server
|
application/x-sharedlib | root:root | 0o755 | 22.1 KB |