This file is indexed.

/usr/lib/ 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/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