Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Information for file
yices.spec
Name
yices.spec
Digest (sha256)
fe5c4931f8781987c31a73e6c3201cf6c4c2d4d24c9455694345e257d0ed00ee
Size
11.46 KB
Modification time
Thu, 01 May 2025 00:00:00 UTC
User
root
Group
root
Mode
-rw-r--r--
Flags
RPM
yices-2.6.5-8.fc42.src.rpm