yices.spec | File Info | koji

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