Sophie

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

distrib > Mageia > 8 > i586 > media > core-release-src > by-pkgid > aa3660c9891c71eb86054423c7c95746 > location

ocaml-psmt2-frontend-0.1-9.mga8.src.rpm

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

rpms/aa3660c9891c71eb86054423c7c95746

• Mageia / 8 / armv7hl / core-release-src
• Mageia / 8 / aarch64 / core-release-src
• Mageia / 8 / x86_64 / core-release-src
• Mageia / 8 / i586 / core-release-src

Generated packages:

• ocaml-psmt2-frontend-0.1-9.mga8.aarch64
• ocaml-psmt2-frontend-0.1-9.mga8.armv7hl
• ocaml-psmt2-frontend-0.1-9.mga8.i586
• ocaml-psmt2-frontend-0.1-9.mga8.x86_64

Other version of this rpm:

• ocaml-psmt2-frontend-0.4.0-2.mga9
• ocaml-psmt2-frontend-0.1-9.mga8
• ocaml-psmt2-frontend-0.1-5.mga7