Name | /usr/share/man/man1/opam-config.1.gz |
---|---|
Digest (sha256) | fe1e4f7e54daced3187b1a66c19396d1eaa215b1f2fae5bea9bde907b33cb5a6 |
Size | 7.93 KB |
Modification time | Sun, 23 Jul 2023 08:00:00 CST |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | opam-2.1.3-1.fc38.riscv64.rpm |