Sophie

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

distrib > Fedora > 15 > x86_64 > by-pkgid > c809a80de75e760aa54c386cdc61b1bc > deps

csisat-1.2-5.fc15.src.rpm

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

Dependencies

Requires

• glpk-devel
• ocaml
• picosat-devel
• subversion
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(CompressedFileNames) <= 3.0.4-1