Thu, 05 Dec 2024 01:11:44 UTC | login

Information for file /usr/lib64/z3/com.microsoft.z3.jar

Name/usr/lib64/z3/com.microsoft.z3.jar
Digest (sha256)
Size34.00 B
Modification timeTue, 29 May 2018 22:16:12 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMjava-z3-4.7.1-1.fc29.riscv64.rpm