Thu, 05 Dec 2024 02:00:47 UTC | login

Information for file /usr/lib64/ocaml/Z3/META

Name/usr/lib64/ocaml/Z3/META
Digest (sha256)ee5efe8cf83f4859e485754c9e4e2af90685c5640ac452053c451f018fc94d4c
Size349.00 B
Modification timeTue, 29 May 2018 13:03:07 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-z3-4.7.1-1.fc29.riscv64.rpm