Fri, 13 Dec 2024 21:39:27 UTC | login

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

Name/usr/lib64/python3.11/site-packages/__pycache__/CVC4.cpython-311.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