Wed, 11 Dec 2024 22:22:21 UTC | login

Information for file /usr/share/doc/z3/RELEASE_NOTES

Name/usr/share/doc/z3/RELEASE_NOTES
Digest (sha256)438ce0c26b171364a5fe2fd0f7f9579360803bdca337574ba903eb0a68ed28a7
Size41.51 KB
Modification timeFri, 31 May 2019 14:46:11 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMz3-4.8.5-2.fc31.riscv64.rpm