Sophie

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

distrib > PLD > th > x86_64 > by-pkgid > 807f380ba81ae2228d807480efe9b54a > history

ocaml-z3-devel-4.8.17-1.x86_64.rpm

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

Highter version of this package:

• ocaml-z3-devel-4.12.1-1.mga9.aarch64.rpm
• ocaml-z3-devel-4.12.1-1.mga9.armv7hl.rpm
• ocaml-z3-devel-4.12.1-1.mga9.x86_64.rpm
• ocaml-z3-devel-4.12.1-1.mga9.i586.rpm

Older version of this package:

• ocaml-z3-devel-4.8.13-1.i686.rpm
• ocaml-z3-devel-4.8.13-1.x86_64.rpm