This file is indexed.

/usr/share/icons/ is in mcrl2 201409.0-1ubuntu3.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/icons/hicolor/22x22/ root:root 0o755
/usr/share/icons/hicolor/22x22/apps/ root:root 0o755
/usr/share/icons/hicolor/48x48/apps/ root:root 0o755
/usr/share/icons/hicolor/16x16/apps/mcrl2-red.png image/png root:root 0o644 243 bytes
/usr/share/icons/hicolor/192x192/ root:root 0o755
/usr/share/icons/hicolor/128x128/ root:root 0o755
/usr/share/icons/hicolor/192x192/apps/ root:root 0o755
/usr/share/icons/hicolor/128x128/apps/ root:root 0o755
/usr/share/icons/hicolor/48x48/ root:root 0o755
/usr/share/icons/hicolor/ root:root 0o755
/usr/share/icons/hicolor/128x128/apps/mcrl2-blue.png image/png root:root 0o644 4.6 KB
/usr/share/icons/hicolor/128x128/apps/mcrl2-green.png image/png root:root 0o644 5.8 KB
/usr/share/icons/hicolor/128x128/apps/mcrl2-orange.png image/png root:root 0o644 4.9 KB
/usr/share/icons/hicolor/128x128/apps/mcrl2-red.png image/png root:root 0o644 4.6 KB
/usr/share/icons/hicolor/16x16/ root:root 0o755
/usr/share/icons/hicolor/16x16/apps/ root:root 0o755
/usr/share/icons/hicolor/16x16/apps/mcrl2-blue.png image/png root:root 0o644 241 bytes
/usr/share/icons/hicolor/16x16/apps/mcrl2-green.png image/png root:root 0o644 334 bytes
/usr/share/icons/hicolor/16x16/apps/mcrl2-orange.png image/png root:root 0o644 241 bytes
/usr/share/icons/hicolor/192x192/apps/mcrl2-blue.png image/png root:root 0o644 7.5 KB
/usr/share/icons/hicolor/192x192/apps/mcrl2-green.png image/png root:root 0o644 9.8 KB
/usr/share/icons/hicolor/192x192/apps/mcrl2-orange.png image/png root:root 0o644 8.1 KB
/usr/share/icons/hicolor/192x192/apps/mcrl2-red.png image/png root:root 0o644 7.5 KB
/usr/share/icons/hicolor/20x20/ root:root 0o755
/usr/share/icons/hicolor/20x20/apps/ root:root 0o755
/usr/share/icons/hicolor/20x20/apps/mcrl2-blue.png image/png root:root 0o644 304 bytes
/usr/share/icons/hicolor/20x20/apps/mcrl2-green.png image/png root:root 0o644 354 bytes
/usr/share/icons/hicolor/20x20/apps/mcrl2-orange.png image/png root:root 0o644 300 bytes
/usr/share/icons/hicolor/20x20/apps/mcrl2-red.png image/png root:root 0o644 304 bytes
/usr/share/icons/hicolor/22x22/apps/mcrl2-blue.png image/png root:root 0o644 354 bytes
/usr/share/icons/hicolor/22x22/apps/mcrl2-green.png image/png root:root 0o644 507 bytes
/usr/share/icons/hicolor/22x22/apps/mcrl2-orange.png image/png root:root 0o644 345 bytes
/usr/share/icons/hicolor/22x22/apps/mcrl2-red.png image/png root:root 0o644 355 bytes
/usr/share/icons/hicolor/24x24/ root:root 0o755
/usr/share/icons/hicolor/24x24/apps/ root:root 0o755
/usr/share/icons/hicolor/24x24/apps/mcrl2-blue.png image/png root:root 0o644 638 bytes
/usr/share/icons/hicolor/24x24/apps/mcrl2-green.png image/png root:root 0o644 689 bytes
/usr/share/icons/hicolor/24x24/apps/mcrl2-orange.png image/png root:root 0o644 553 bytes
/usr/share/icons/hicolor/24x24/apps/mcrl2-red.png image/png root:root 0o644 638 bytes
/usr/share/icons/hicolor/256x256/ root:root 0o755
/usr/share/icons/hicolor/256x256/apps/ root:root 0o755
/usr/share/icons/hicolor/256x256/apps/mcrl2-blue.png image/png root:root 0o644 10.2 KB
/usr/share/icons/hicolor/256x256/apps/mcrl2-green.png image/png root:root 0o644 13.7 KB
/usr/share/icons/hicolor/256x256/apps/mcrl2-orange.png image/png root:root 0o644 11.3 KB
/usr/share/icons/hicolor/256x256/apps/mcrl2-red.png image/png root:root 0o644 10.2 KB
/usr/share/icons/hicolor/32x32/ root:root 0o755
/usr/share/icons/hicolor/32x32/apps/ root:root 0o755
/usr/share/icons/hicolor/32x32/apps/mcrl2-blue.png image/png root:root 0o644 944 bytes
/usr/share/icons/hicolor/32x32/apps/mcrl2-green.png image/png root:root 0o644 1.0 KB
/usr/share/icons/hicolor/32x32/apps/mcrl2-orange.png image/png root:root 0o644 842 bytes
/usr/share/icons/hicolor/32x32/apps/mcrl2-red.png image/png root:root 0o644 945 bytes
/usr/share/icons/hicolor/36x36/ root:root 0o755
/usr/share/icons/hicolor/36x36/apps/ root:root 0o755
/usr/share/icons/hicolor/36x36/apps/mcrl2-blue.png image/png root:root 0o644 1.1 KB
/usr/share/icons/hicolor/36x36/apps/mcrl2-green.png image/png root:root 0o644 1.2 KB
/usr/share/icons/hicolor/36x36/apps/mcrl2-orange.png image/png root:root 0o644 1001 bytes
/usr/share/icons/hicolor/36x36/apps/mcrl2-red.png image/png root:root 0o644 1.1 KB
/usr/share/icons/hicolor/48x48/apps/mcrl2-blue.png image/png root:root 0o644 1.4 KB
/usr/share/icons/hicolor/48x48/apps/mcrl2-green.png image/png root:root 0o644 1.6 KB
/usr/share/icons/hicolor/48x48/apps/mcrl2-orange.png image/png root:root 0o644 1.4 KB
/usr/share/icons/hicolor/48x48/apps/mcrl2-red.png image/png root:root 0o644 1.4 KB
/usr/share/icons/hicolor/512x512/ root:root 0o755
/usr/share/icons/hicolor/512x512/apps/ root:root 0o755
/usr/share/icons/hicolor/512x512/apps/mcrl2-blue.png image/png root:root 0o644 22.1 KB
/usr/share/icons/hicolor/512x512/apps/mcrl2-green.png image/png root:root 0o644 29.2 KB
/usr/share/icons/hicolor/512x512/apps/mcrl2-orange.png image/png root:root 0o644 24.5 KB
/usr/share/icons/hicolor/512x512/apps/mcrl2-red.png image/png root:root 0o644 22.1 KB
/usr/share/icons/hicolor/64x64/ root:root 0o755
/usr/share/icons/hicolor/64x64/apps/ root:root 0o755
/usr/share/icons/hicolor/64x64/apps/mcrl2-blue.png image/png root:root 0o644 2.0 KB
/usr/share/icons/hicolor/64x64/apps/mcrl2-green.png image/png root:root 0o644 2.4 KB
/usr/share/icons/hicolor/64x64/apps/mcrl2-orange.png image/png root:root 0o644 2.1 KB
/usr/share/icons/hicolor/64x64/apps/mcrl2-red.png image/png root:root 0o644 2.0 KB
/usr/share/icons/hicolor/72x72/ root:root 0o755
/usr/share/icons/hicolor/72x72/apps/ root:root 0o755
/usr/share/icons/hicolor/72x72/apps/mcrl2-blue.png image/png root:root 0o644 2.3 KB
/usr/share/icons/hicolor/72x72/apps/mcrl2-green.png image/png root:root 0o644 2.8 KB
/usr/share/icons/hicolor/72x72/apps/mcrl2-orange.png image/png root:root 0o644 2.5 KB
/usr/share/icons/hicolor/72x72/apps/mcrl2-red.png image/png root:root 0o644 2.3 KB
/usr/share/icons/hicolor/96x96/ root:root 0o755
/usr/share/icons/hicolor/96x96/apps/ root:root 0o755
/usr/share/icons/hicolor/96x96/apps/mcrl2-blue.png image/png root:root 0o644 3.3 KB
/usr/share/icons/hicolor/96x96/apps/mcrl2-green.png image/png root:root 0o644 4.2 KB
/usr/share/icons/hicolor/96x96/apps/mcrl2-orange.png image/png root:root 0o644 3.6 KB
/usr/share/icons/hicolor/96x96/apps/mcrl2-red.png image/png root:root 0o644 3.4 KB