This file is indexed.

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

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/96x96/apps/mcrl2-orange.png image/png root:root 0o644 3.7 KB
/usr/share/icons/hicolor/128x128/ root:root 0o755
/usr/share/icons/hicolor/128x128/apps/ 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-red.png image/png root:root 0o644 4.6 KB
/usr/share/icons/hicolor/96x96/apps/ root:root 0o755
/usr/share/icons/hicolor/ root:root 0o755
/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 308 bytes
/usr/share/icons/hicolor/20x20/apps/mcrl2-red.png image/png root:root 0o644 308 bytes
/usr/share/icons/hicolor/20x20/apps/mcrl2-green.png image/png root:root 0o644 367 bytes
/usr/share/icons/hicolor/20x20/apps/mcrl2-orange.png image/png root:root 0o644 306 bytes
/usr/share/icons/hicolor/96x96/ root:root 0o755
/usr/share/icons/hicolor/96x96/apps/mcrl2-blue.png image/png root:root 0o644 3.4 KB
/usr/share/icons/hicolor/96x96/apps/mcrl2-red.png image/png root:root 0o644 3.4 KB
/usr/share/icons/hicolor/96x96/apps/mcrl2-green.png image/png root:root 0o644 4.2 KB
/usr/share/icons/hicolor/128x128/apps/mcrl2-green.png image/png root:root 0o644 5.9 KB
/usr/share/icons/hicolor/128x128/apps/mcrl2-orange.png image/png root:root 0o644 5.0 KB
/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-red.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 565 bytes
/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-red.png image/png root:root 0o644 945 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 846 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-red.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 1013 bytes
/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-red.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.6 KB
/usr/share/icons/hicolor/192x192/ root:root 0o755
/usr/share/icons/hicolor/192x192/apps/ root:root 0o755
/usr/share/icons/hicolor/192x192/apps/mcrl2-blue.png image/png root:root 0o644 7.5 KB
/usr/share/icons/hicolor/192x192/apps/mcrl2-red.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.2 KB
/usr/share/icons/hicolor/22x22/apps/ root:root 0o755
/usr/share/icons/hicolor/22x22/apps/mcrl2-blue.png image/png root:root 0o644 358 bytes
/usr/share/icons/hicolor/22x22/apps/mcrl2-red.png image/png root:root 0o644 358 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 360 bytes
/usr/share/icons/hicolor/48x48/ root:root 0o755
/usr/share/icons/hicolor/48x48/apps/ root:root 0o755
/usr/share/icons/hicolor/48x48/apps/mcrl2-blue.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/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/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-red.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/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-red.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.4 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-red.png image/png root:root 0o644 2.0 KB
/usr/share/icons/hicolor/64x64/apps/mcrl2-green.png image/png root:root 0o644 2.5 KB
/usr/share/icons/hicolor/64x64/apps/mcrl2-orange.png image/png root:root 0o644 2.1 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 245 bytes
/usr/share/icons/hicolor/16x16/apps/mcrl2-red.png image/png root:root 0o644 246 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 248 bytes