Thu, 05 Dec 2024 01:26:37 UTC | login

Information for file /usr/lib/java/com.microsoft.z3-4.12.4.0.jar

Name/usr/lib/java/com.microsoft.z3-4.12.4.0.jar
Digest (sha256)154e5f8e5d93e6465424e274136dd23e990c82402f0a288e472c5f67aa148dad
Size185.06 KB
Modification timeTue, 12 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMjava-z3-4.12.4-2.fc40.riscv64.rpm