Sophie

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

distrib > Mandriva > 2007.0 > x86_64 > by-pkgid > e398e25f588ab3e9c0e58a6cc862ecf4 > deps

coq-8.0pl3-5mdv2007.0.src.rpm

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

Dependencies

Requires

• ocaml >= 3.06
• camlp4
• ocaml-lablgtk2-devel
• ncurses-devel
• rpmlib(CompressedFileNames) <= 3.0.4-1