Sun, 09 Jun 2024 18:23:24 UTC | login

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

Name/usr/lib64/cmake/cryptominisat5/cryptominisat5Targets.cmake
Digest (sha256)8bbc111f9583476aabded548f05b0ab21a28ed582d4db43d33f97c43a69cd4e5
Size3.68 KB
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