Fri, 13 Dec 2024 21:22:55 UTC | login

Information for file /usr/lib64/python3.11/site-packages/CVC4.py

Name/usr/lib64/python3.11/site-packages/CVC4.py
Digest (sha256)ae7c74a1295a3f3005e0c86447c4c5c983d52b03dd18ef4ba05e086186a220ba
Size149.99 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