Information for file /usr/bin/ocamlify
Name | /usr/bin/ocamlify |
---|---|
Digest (sha256) | e6349a1d8811921db16d084909b986e51d525f271e2130101c6c495c06aa2efe |
Size | 1.24 MB |
Modification time | Wed, 29 Apr 2020 10:08:34 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | ocamlify-0.0.2-20.fc33.riscv64.rpm |