Tue, 26 Nov 2024 12:01:18 UTC | login

Information for file z3-ocaml.patch

Namez3-ocaml.patch
Digest (sha256)67b531034b928814e7419439f467afc29f00a83f802a3b0829add7b2d86d2a3b
Size2.98 KB
Modification timeSun, 31 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMz3-4.12.4-4.rvre0.fc40.src.rpm