Fri, 08 Nov 2024 20:32:43 UTC | login

Information for file /usr/lib64/python3.13/site-packages/cvc5-1.1.2.dist-info/WHEEL

Name/usr/lib64/python3.13/site-packages/cvc5-1.1.2.dist-info/WHEEL
Digest (sha256)189eedfe4581172c1b6a02b97a8f48a14c0b5baa3239e4ca990fbd8871553714
Size92.00 B
Modification timeSat, 08 Jun 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMpython3-cvc5-1.1.2-3.fc41.riscv64.rpm