Thu, 12 Dec 2024 14:08:49 UTC | login

Information for file z3-ocaml.patch

Namez3-ocaml.patch
Digest (sha256)67b531034b928814e7419439f467afc29f00a83f802a3b0829add7b2d86d2a3b
Size2.98 KB
Modification timeThu, 14 Mar 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMz3-4.13.0-1.fc40.src.rpm