Yices-2.6.5.tar.gz | File Info | koji

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