Information for file Yices-2.6.5.tar.gz

NameYices-2.6.5.tar.gz
Digest (sha256)46a93225c1e14ee105e573bb5aae69c8d75b5c65d71e4491fac98203cb0182f3
Size9.91 MB
Modification timeTue, 25 Jun 2024 14:25:20 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMyices-2.6.5-8.fc42.src.rpm