Wed, 27 Nov 2024 18:12:54 UTC | login

Information for file /usr/lib64/python3.12/site-packages/cvc5-1.1.0.dist-info/WHEEL

Name/usr/lib64/python3.12/site-packages/cvc5-1.1.0.dist-info/WHEEL
Digest (sha256)c903798389a0e00c9b4639208bef72cb889010589b1909a5cfbf0f8a4e4eafe0
Size92.00 B
Modification timeWed, 10 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMpython3-cvc5-1.1.0-1.fc40.riscv64.rpm