Fri, 08 Nov 2024 21:35:53 UTC | login

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

Name/usr/lib64/python3.13/site-packages/cvc5-1.1.2.dist-info/INSTALLER
Digest (sha256)1b940bb6e556353793023b99890a7d4f68f9d855967ceda5e61203ce9b962715
Size4.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