This file is indexed.

/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 347.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