Sun, 09 Jun 2024 15:31:22 UTC | login

Information for file /usr/lib64/cmake/cryptominisat5/cryptominisat5Config.cmake

Name/usr/lib64/cmake/cryptominisat5/cryptominisat5Config.cmake
Digest (sha256)6d036c792a6a0f949c7a6ac5cb841194517204574e26d4a8ae2e49453de9ae47
Size919.00 B
Modification timeThu, 07 May 2020 18:48:58 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcryptominisat-devel-5.7.1-1.fc33.riscv64.rpm