Information for file /usr/lib/opamroot/default/man/man3
Name | /usr/lib/opamroot/default/man/man3 |
---|---|
Digest (sha256) | |
Size | 6 |
Modification time | Fri, 03 May 2019 17:28:27 CEST |
User | root |
Group | wheel |
Mode | drwxrwxr-x |
Flags | |
RPM | xs-opam-repo-6.3.1-1.xcpng8.0.x86_64.rpm |