Sophie

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

distrib > Mageia > 4 > x86_64 > by-pkgid > dc174e732b99e2bcef730a7370d0f721 > deps

coq-doc-8.4pl2-3.mga4.noarch.rpm

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

Dependencies

Provides

• coq-doc = 8.4pl2-3.mga4

Requires

• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(PayloadIsXz) <= 5.2-1