Fri, 29 Nov 2024 15:26:47 UTC | login

Information for file /usr/share/doc/z3/README.md

Name/usr/share/doc/z3/README.md
Digest (sha256)ceb38debb15f533348cf1423f29fdf568a23fdfb71fc32a413a84de22cf01dac
Size6.89 KB
Modification timeTue, 22 May 2018 17:19:38 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMz3-4.7.1-1.fc29.riscv64.rpm