z3-ocaml.patch | File Info | koji

Information for file z3-ocaml.patch

Name	z3-ocaml.patch
Digest (sha256)	67b531034b928814e7419439f467afc29f00a83f802a3b0829add7b2d86d2a3b
Size	2.98 KB
Modification time	Wed, 25 Jun 2025 00:00:00 UTC
User	root
Group	root
Mode	-rw-r--r--
Flags
RPM	z3-4.15.2-1.fc42.src.rpm