Fri, 13 Dec 2024 21:29:45 UTC | login

Information for file /usr/lib64/python3.11/site-packages/__pycache__/CVC4.cpython-311.opt-1.pyc

Name/usr/lib64/python3.11/site-packages/__pycache__/CVC4.cpython-311.opt-1.pyc
Digest (sha256)4706c06fdf75d06086a8bc9e51f65695863c9c5cbc9540d3f337d2dc5fa4ede8
Size342.44 KB
Modification timeThu, 19 Jan 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcvc4-python3-1.8-15.fc38.riscv64.rpm