Sat, 14 Dec 2024 09:37:56 UTC | login

Information for file cvc4-flags.patch

Namecvc4-flags.patch
Digest (sha256)33905ef471f60ab8b37755b1ad4a625a9a6af20668aa19c01042b3d2f9e76d76
Size2.10 KB
Modification timeThu, 19 Jan 2023 00:00:00 UTC
Usermockbuild
Groupmock
Mode-rw-r--r--
Flags
RPMcvc4-1.8-15.fc38.src.rpm