Mon, 10 Jun 2024 06:23:35 UTC | login

Information for file /usr/share/doc/z3-doc/html/group__capi.html

Name/usr/share/doc/z3-doc/html/group__capi.html
Digest (sha256)811f4c0ff4fe66e7e44b26d0078ae4914af91936b5ad787d49e0225ab990f174
Size1.69 MB
Modification timeSat, 12 Jan 2019 02:20:30 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMz3-doc-4.8.4-1.fc30.noarch.rpm