Thu, 20 Jun 2024 09:37:31 UTC | login

Information for file /usr/share/doc/z3-doc/html/inherit_graph_69.png

Name/usr/share/doc/z3-doc/html/inherit_graph_69.png
Digest (sha256)4ef402cfef51a20ea754084beb784ad9df765a04a171cf16d56a1cfd85badc56
Size121.33 KB
Modification timeWed, 02 Dec 2020 23:05:02 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMz3-doc-4.8.9-3.fc33.riscv64.rpm