Information for file yices.spec

Nameyices.spec
Digest (sha256)fe5c4931f8781987c31a73e6c3201cf6c4c2d4d24c9455694345e257d0ed00ee
Size11.46 KB
Modification timeThu, 01 May 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMyices-2.6.5-8.fc42.src.rpm