This file is indexed.

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

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

File Mime Type Owner Mode Size
..
/usr/share/icons/hicolor/512x512/ root:root 0o755
/usr/share/icons/hicolor/512x512/apps/ root:root 0o755
/usr/share/icons/hicolor/128x128/ root:root 0o755
/usr/share/icons/hicolor/128x128/apps/ root:root 0o755
/usr/share/icons/hicolor/ root:root 0o755
/usr/share/icons/hicolor/512x512/apps/mcrl2-orange.png image/png root:root 0o644 27.4 KB
/usr/share/icons/hicolor/512x512/apps/mcrl2-green.png image/png root:root 0o644 33.0 KB
/usr/share/icons/hicolor/512x512/apps/mcrl2-blue.png image/png root:root 0o644 25.0 KB
/usr/share/icons/hicolor/512x512/apps/mcrl2-red.png image/png root:root 0o644 25.1 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-orange.png image/png root:root 0o644 12.8 KB
/usr/share/icons/hicolor/256x256/apps/mcrl2-green.png image/png root:root 0o644 15.3 KB
/usr/share/icons/hicolor/20x20/ root:root 0o755
/usr/share/icons/hicolor/256x256/apps/mcrl2-blue.png image/png root:root 0o644 11.5 KB
/usr/share/icons/hicolor/256x256/apps/mcrl2-red.png image/png root:root 0o644 11.5 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-orange.png image/png root:root 0o644 9.5 KB
/usr/share/icons/hicolor/192x192/apps/mcrl2-green.png image/png root:root 0o644 11.3 KB
/usr/share/icons/hicolor/192x192/apps/mcrl2-blue.png image/png root:root 0o644 8.7 KB
/usr/share/icons/hicolor/192x192/apps/mcrl2-red.png image/png root:root 0o644 8.7 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-orange.png image/png root:root 0o644 4.4 KB
/usr/share/icons/hicolor/96x96/apps/mcrl2-green.png image/png root:root 0o644 5.0 KB
/usr/share/icons/hicolor/96x96/apps/mcrl2-blue.png image/png root:root 0o644 4.0 KB
/usr/share/icons/hicolor/96x96/apps/mcrl2-red.png image/png root:root 0o644 4.0 KB
/usr/share/icons/hicolor/48x48/ root:root 0o755
/usr/share/icons/hicolor/48x48/apps/ root:root 0o755
/usr/share/icons/hicolor/48x48/apps/mcrl2-orange.png image/png root:root 0o644 1.7 KB
/usr/share/icons/hicolor/48x48/apps/mcrl2-green.png image/png root:root 0o644 1.9 KB
/usr/share/icons/hicolor/48x48/apps/mcrl2-blue.png image/png root:root 0o644 1.7 KB
/usr/share/icons/hicolor/48x48/apps/mcrl2-red.png image/png root:root 0o644 1.7 KB
/usr/share/icons/hicolor/20x20/apps/ root:root 0o755
/usr/share/icons/hicolor/20x20/apps/mcrl2-orange.png image/png root:root 0o644 441 bytes
/usr/share/icons/hicolor/20x20/apps/mcrl2-green.png image/png root:root 0o644 508 bytes
/usr/share/icons/hicolor/20x20/apps/mcrl2-blue.png image/png root:root 0o644 443 bytes
/usr/share/icons/hicolor/20x20/apps/mcrl2-red.png image/png root:root 0o644 443 bytes
/usr/share/icons/hicolor/16x16/ root:root 0o755
/usr/share/icons/hicolor/16x16/apps/ root:root 0o755
/usr/share/icons/hicolor/16x16/apps/mcrl2-orange.png image/png root:root 0o644 375 bytes
/usr/share/icons/hicolor/16x16/apps/mcrl2-green.png image/png root:root 0o644 431 bytes
/usr/share/icons/hicolor/16x16/apps/mcrl2-blue.png image/png root:root 0o644 370 bytes
/usr/share/icons/hicolor/16x16/apps/mcrl2-red.png image/png root:root 0o644 367 bytes
/usr/share/icons/hicolor/128x128/apps/mcrl2-orange.png image/png root:root 0o644 5.9 KB
/usr/share/icons/hicolor/128x128/apps/mcrl2-green.png image/png root:root 0o644 6.9 KB
/usr/share/icons/hicolor/128x128/apps/mcrl2-blue.png image/png root:root 0o644 5.5 KB
/usr/share/icons/hicolor/128x128/apps/mcrl2-red.png image/png root:root 0o644 5.5 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-orange.png image/png root:root 0o644 2.6 KB
/usr/share/icons/hicolor/64x64/apps/mcrl2-green.png image/png root:root 0o644 2.9 KB
/usr/share/icons/hicolor/64x64/apps/mcrl2-blue.png image/png root:root 0o644 2.5 KB
/usr/share/icons/hicolor/64x64/apps/mcrl2-red.png image/png root:root 0o644 2.5 KB
/usr/share/icons/hicolor/36x36/ root:root 0o755
/usr/share/icons/hicolor/36x36/apps/ root:root 0o755
/usr/share/icons/hicolor/36x36/apps/mcrl2-orange.png image/png root:root 0o644 1.2 KB
/usr/share/icons/hicolor/36x36/apps/mcrl2-green.png image/png root:root 0o644 1.3 KB
/usr/share/icons/hicolor/36x36/apps/mcrl2-blue.png image/png root:root 0o644 1.2 KB
/usr/share/icons/hicolor/36x36/apps/mcrl2-red.png image/png root:root 0o644 1.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-orange.png image/png root:root 0o644 1.0 KB
/usr/share/icons/hicolor/32x32/apps/mcrl2-green.png image/png root:root 0o644 1.1 KB
/usr/share/icons/hicolor/32x32/apps/mcrl2-blue.png image/png root:root 0o644 1.0 KB
/usr/share/icons/hicolor/32x32/apps/mcrl2-red.png image/png root:root 0o644 1.0 KB
/usr/share/icons/hicolor/22x22/ root:root 0o755
/usr/share/icons/hicolor/22x22/apps/ root:root 0o755
/usr/share/icons/hicolor/22x22/apps/mcrl2-orange.png image/png root:root 0o644 500 bytes
/usr/share/icons/hicolor/22x22/apps/mcrl2-green.png image/png root:root 0o644 585 bytes
/usr/share/icons/hicolor/22x22/apps/mcrl2-blue.png image/png root:root 0o644 494 bytes
/usr/share/icons/hicolor/22x22/apps/mcrl2-red.png image/png root:root 0o644 494 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-orange.png image/png root:root 0o644 3.0 KB
/usr/share/icons/hicolor/72x72/apps/mcrl2-green.png image/png root:root 0o644 3.4 KB
/usr/share/icons/hicolor/72x72/apps/mcrl2-blue.png image/png root:root 0o644 2.8 KB
/usr/share/icons/hicolor/72x72/apps/mcrl2-red.png image/png root:root 0o644 2.8 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-orange.png image/png root:root 0o644 746 bytes
/usr/share/icons/hicolor/24x24/apps/mcrl2-green.png image/png root:root 0o644 799 bytes
/usr/share/icons/hicolor/24x24/apps/mcrl2-blue.png image/png root:root 0o644 744 bytes
/usr/share/icons/hicolor/24x24/apps/mcrl2-red.png image/png root:root 0o644 747 bytes