| Name | /usr/bin/opam-installer |
|---|---|
| Digest (sha256) | 2c8610ffdff076972d9a59ae22edb43197bc7b98e7dabe226f37a16a9b68f17b |
| Size | 4.63 MB |
| Modification time | Sun, 23 Jul 2023 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | opam-installer-2.1.3-1.fc38.riscv64.rpm |