Information for file /usr/lib/opamroot/system/share/ppxlib
Name | /usr/lib/opamroot/system/share/ppxlib |
---|---|
Digest (sha256) | |
Size | 6 |
Modification time | Tue, 26 Mar 2019 11:54:09 CET |
User | root |
Group | wheel |
Mode | drwxrwxr-x |
Flags | |
RPM | xs-opam-repo-4.11.0-1.2.xcpng.x86_64.rpm |