| Name | /usr/bin/clippy-driver |
|---|---|
| Digest (sha256) | 30fc04b68060bafafa0012f0943aa044297c84a1f3b20688b00d89fc1e9e7069 |
| Size | 11.34 MB |
| Modification time | Thu, 26 Jun 2025 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | clippy-1.88.0-1.fc42.riscv64.rpm |