/usr/ is in libboogie-cil 2.3.0.61016+dfsg+3.gbp1f2d6c1-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/boogie/
|
root:root | 0o755 | ||
/usr/lib/boogie/BoogieAbsInt.dll
|
application/x-dosexec | root:root | 0o644 | 38.5 KB |
/usr/lib/boogie/BoogieBasetypes.dll
|
application/x-dosexec | root:root | 0o644 | 26.5 KB |
/usr/lib/boogie/BoogieCodeContractsExtender.dll
|
application/x-dosexec | root:root | 0o644 | 7.0 KB |
/usr/lib/boogie/BoogieConcurrency.dll
|
application/x-dosexec | root:root | 0o644 | 102.5 KB |
/usr/lib/boogie/BoogieCore.dll
|
application/x-dosexec | root:root | 0o644 | 452.0 KB |
/usr/lib/boogie/BoogieDoomed.dll
|
application/x-dosexec | root:root | 0o644 | 43.0 KB |
/usr/lib/boogie/BoogieExecutionEngine.dll
|
application/x-dosexec | root:root | 0o644 | 63.0 KB |
/usr/lib/boogie/BoogieGraph.dll
|
application/x-dosexec | root:root | 0o644 | 30.0 KB |
/usr/lib/boogie/BoogieHoudini.dll
|
application/x-dosexec | root:root | 0o644 | 159.5 KB |
/usr/lib/boogie/BoogieModel.dll
|
application/x-dosexec | root:root | 0o644 | 26.0 KB |
/usr/lib/boogie/BoogieModelViewer.dll
|
application/x-dosexec | root:root | 0o644 | 226.0 KB |
/usr/lib/boogie/BoogieParserHelper.dll
|
application/x-dosexec | root:root | 0o644 | 7.0 KB |
/usr/lib/boogie/BoogiePredication.dll
|
application/x-dosexec | root:root | 0o644 | 30.0 KB |
/usr/lib/boogie/BoogieVCExpr.dll
|
application/x-dosexec | root:root | 0o644 | 157.0 KB |
/usr/lib/boogie/BoogieVCGeneration.dll
|
application/x-dosexec | root:root | 0o644 | 208.5 KB |
/usr/lib/boogie/Provers.SMTLib.dll
|
application/x-dosexec | root:root | 0o644 | 108.5 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/libboogie-cil/
|
root:root | 0o755 | ||
/usr/share/doc/libboogie-cil/README.md
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/doc/libboogie-cil/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 382 bytes |
/usr/share/doc/libboogie-cil/copyright
|
text/plain | root:root | 0o644 | 3.7 KB |