Mon, 23 Dec 2024 06:35:36 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 06:46:52 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcryptominisat-devel-5.7.0-1.fc33.riscv64.rpm