Name | /usr/bin/clippy-driver |
---|---|
Digest (sha256) | 10350e5086279d6415790464a0a9e69ef8e26e4d1074991fa4abf01b0b873cd0 |
Size | 8.49 MB |
Modification time | Sun, 28 Jul 2024 08:00:00 CST |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | clippy-1.80.0-2.fc41.riscv64.rpm |