Sophie

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

distrib > Fedora > 20 > x86_64 > by-pkgid > 079721bd05a28ae6ee8254d728d1107f > location

cvc4-devel-1.3-4.fc20.x86_64.rpm

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

rpms/079721bd05a28ae6ee8254d728d1107f

• Fedora / 20 / x86_64 / updates

Sources packages:

• cvc4-1.3-4.fc20

Other version of this rpm:

• cvc4-devel-1.3-4.fc20.i686
• cvc4-devel-1.3-4.fc20.x86_64