Mon, 23 Dec 2024 06:34:16 UTC | login

Information for file cryptominisat-5.7.1.tar.gz

Namecryptominisat-5.7.1.tar.gz
Digest (sha256)d09f118a3d4392e3352a6285f600a5897e301b186a764404a37a911f4d91528e
Size862.06 KB
Modification timeThu, 07 May 2020 13:22:27 UTC
Usermockbuild
Groupmock
Mode-rw-rw-r--
Flags
RPMcryptominisat-5.7.1-3.fc33.src.rpm