Dependencies
Provides
- cryptominisat-libs = 2.9.9-1.fc20
- cryptominisat-libs(x86-32) = 2.9.9-1.fc20
- libcryptominisat-2.9.9.so
Requires
- libc.so.6
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.1)
- libc.so.6(GLIBC_2.1.3)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.4)
- libgcc_s.so.1
- libgcc_s.so.1(GCC_3.0)
- libgcc_s.so.1(GCC_3.4)
- libgcc_s.so.1(GLIBC_2.0)
- libgomp.so.1
- libgomp.so.1(GOMP_1.0)
- libgomp.so.1(OMP_1.0)
- libm.so.6
- libm.so.6(GLIBC_2.0)
- libstdc++.so.6
- libstdc++.so.6(CXXABI_1.3)
- libstdc++.so.6(GLIBCXX_3.4)
- libstdc++.so.6(GLIBCXX_3.4.11)
- libstdc++.so.6(GLIBCXX_3.4.15)
- libstdc++.so.6(GLIBCXX_3.4.9)
- libz.so.1
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rtld(GNU_HASH)
- rpmlib(PayloadIsXz) <= 5.2-1
