Dependencies
Provides
- libpicosat-trace.so.0()(64bit)
- libpicosat.so.0()(64bit)
- lib64picosat936 = 936-2:2011.0
Requires
- /sbin/ldconfig
- /sbin/ldconfig
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma) <= 4.4.6-1