Sat, 23 Nov 2024 02:25:05 UTC | login

Information for file yices.spec

Nameyices.spec
Digest (sha256)963a5657b8df3b28e7f68d2e5b739951558ba7837fd33b1d558886608ff55399
Size3.71 KB
Modification timeSun, 04 Aug 2019 00:53:21 UTC
Usermockbuild
Groupmock
Mode-rw-r--r--
Flags
RPMyices-2.6.1-3.fc31.src.rpm