Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Information for file
Yices-2.6.5.tar.gz
Name
Yices-2.6.5.tar.gz
Digest (sha256)
46a93225c1e14ee105e573bb5aae69c8d75b5c65d71e4491fac98203cb0182f3
Size
9.91 MB
Modification time
Tue, 25 Jun 2024 14:25:20 UTC
User
root
Group
root
Mode
-rw-r--r--
Flags
RPM
yices-2.6.5-8.fc42.src.rpm