Information for file /usr/bin/ocamlify
Name | /usr/bin/ocamlify |
---|---|
Digest (sha256) | 0a7809b21e86004ec78ed7fe6f62e3f733d9c3165b829cdaa58c4ea0b97cab6a |
Size | 1.40 MB |
Modification time | Sat, 02 Jun 2018 03:10:16 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | ocamlify-0.0.2-3.fc29.riscv64.rpm |