Wed, 11 Dec 2024 22:35:04 UTC | login

Information for file z3-stdint.patch

Namez3-stdint.patch
Digest (sha256)0c2ebe54f2b3efe49a06b6a25755b3603d03940ddcaf5f232e5676041d0abc38
Size1.20 KB
Modification timeMon, 15 May 2023 00:00:00 UTC
Usermockbuild
Groupmock
Mode-rw-r--r--
Flags
RPMz3-4.12.2-1.fc38.src.rpm