Sat, 14 Dec 2024 09:44:58 UTC | login

Information for file cvc4-cryptominisat.patch

Namecvc4-cryptominisat.patch
Digest (sha256)5b717c9290b0da521f1162ca8fab22c160937479e369f8cefefa978bea6ec043
Size1.35 KB
Modification timeThu, 19 Jan 2023 00:00:00 UTC
Usermockbuild
Groupmock
Mode-rw-r--r--
Flags
RPMcvc4-1.8-15.fc38.src.rpm