Information for file /usr/lib/opamroot/default/.opam-switch/config
| Name | /usr/lib/opamroot/default/.opam-switch/config |
|---|---|
| Digest (sha256) | |
| Size | 53 |
| 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 |
