Tue, 26 Nov 2024 10:16:05 UTC | login

Information for file /usr/lib64/python2.7/site-packages/z3/z3types.pyc

Name/usr/lib64/python2.7/site-packages/z3/z3types.pyc
Digest (sha256)8e4219ed772b6667e169177ff44297ebe3d8573e0062deb19d0c7b29c0271ac4
Size13.47 KB
Modification timeMon, 28 May 2018 02:50:44 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMpython2-z3-4.6.0-2.fc29.riscv64.rpm