implicit-int.patch | File Info | koji

Information for file implicit-int.patch

Name	implicit-int.patch
Digest (sha256)	ed856ab774ff0339bf582d1961581437eb1d97dcf73ea705bf4c51209780050a
Size	462.00 B
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