Name | /usr/bin/clippy-driver |
---|---|
Digest (sha256) | 82985fa4b5cb8b9829c32b7f7455fd1516214e28c3a63dc9b0bf4a5b2dc576f5 |
Size | 9.20 MB |
Modification time | Tue, 08 Oct 2024 08:00:00 CST |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | clippy-1.81.0-6.fc41.riscv64.rpm |