Wed, 11 Dec 2024 20:20:33 UTC | login

Information for file /usr/share/gnome-shell/search-providers/de.haeckerfelix.gradio.search-provider.ini

Name/usr/share/gnome-shell/search-providers/de.haeckerfelix.gradio.search-provider.ini
Digest (sha256)42973e47675c3b26f3a97761939e387593b05c73848d411913028cdf43b55f0f
Size157.00 B
Modification timeWed, 11 Sep 2019 19:43:22 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgradio-7.3-5.fc33.riscv64.rpm