Sophie

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

distrib > Mandriva > current > x86_64 > by-pkgid > 139088d2a366a8f190336a7275c727c7 > files

coq-debug-8.2pl1-2mdv2010.1.x86_64.rpm

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

Files