Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Fedora > 18 > i386 > by-pkgid > 8ffe74dbfb8a595cf93ab6daf8984112 > deps

minisat2-devel-2.2.0-5.fc18.i686.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

Dependencies

Provides

• minisat2-devel = 2.2.0-5.fc18
• minisat2-devel(x86-32) = 2.2.0-5.fc18

Requires

• libminisat.so.2
• minisat2-libs(x86-32) = 2.2.0-5.fc18
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1