Tue, 25 Feb 2020 04:12:28 UTC

Information for file /usr/bin/gnome-shell-extension-tool

Name/usr/bin/gnome-shell-extension-tool
Digest (sha256)9f3cecbe91fa4eb475e4c1dd3fcb327f1413f95224cf7d3aa8f38879037b2a5c
Size7357
Modification timeTue, 12 Nov 2019 09:53:41 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMgnome-shell-3.32.2-9.el8.armv7hl.rpm