Sophie

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

distrib > PLD > th > x86_64 > by-pkgid > 9d9528e4ba91e9c67992181d2d37b1e1 > location

NuSMV-2.5.4-12.i686.rpm

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

rpms/9d9528e4ba91e9c67992181d2d37b1e1

• PLD / th / x86_64 / dist-src
• PLD / th / ppc / dist-src
• PLD / th / i686 / dist-src
• PLD / th / i486 / dist-src
• PLD / th / athlon / dist-src

Other version of this rpm:

• NuSMV-2.5.4-12.x86_64
• NuSMV-2.5.4-12.i686
• NuSMV-2.5.4-12.i686
• NuSMV-2.5.4-5.i486