Information for file /usr/share/man/man1/opam-pin.1.gz
Name | /usr/share/man/man1/opam-pin.1.gz |
---|---|
Digest (sha256) | 936d7db6644ef8a1bce91cef83d8c53cca540b8136f3017fd770087255b197ed |
Size | 8.00 KB |
Modification time | Thu, 04 Jun 2020 04:27:18 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | opam-2.0.6-6.fc33.riscv64.rpm |