Sophie

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

distrib > Mandriva > 2007.1 > x86_64 > media > contrib-release > by-pkgid > e48a2454ff2504be2b8989908a79c050 > deps

coq-ide-8.0pl3-4mdk.x86_64.rpm

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

Dependencies

Provides

• coq-ide = 8.0pl3-4mdk

Requires

• coq = 8.0pl3
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(CompressedFileNames) <= 3.0.4-1
• libX11.so.6()(64bit)
• libXext.so.6()(64bit)
• libXrender.so.1()(64bit)
• libatk-1.0.so.0()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libcairo.so.2()(64bit)
• libdl.so.2()(64bit)
• libdl.so.2(GLIBC_2.2.5)(64bit)
• libfontconfig.so.1()(64bit)
• libfreetype.so.6()(64bit)
• libgdk-x11-2.0.so.0()(64bit)
• libgdk_pixbuf-2.0.so.0()(64bit)
• libglib-2.0.so.0()(64bit)
• libgmodule-2.0.so.0()(64bit)
• libgobject-2.0.so.0()(64bit)
• libgtk-x11-2.0.so.0()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(64bit)
• libncurses.so.5()(64bit)
• libpango-1.0.so.0()(64bit)
• libpangocairo-1.0.so.0()(64bit)
• libpng12.so.0()(64bit)
• libpthread.so.0()(64bit)
• libpthread.so.0(GLIBC_2.2.5)(64bit)
• libpthread.so.0(GLIBC_2.3.2)(64bit)
• libz.so.1()(64bit)