Dependencies
Provides
- coq-ide = 8.3pl3-1:2012.0
Requires
- coq = 8.3pl3
- libatk-1.0.so.0()(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.11)(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.15)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.3.2)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.7)(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)
- libgio-2.0.so.0()(64bit)
- libglib-2.0.so.0()(64bit)
- libgmodule-2.0.so.0()(64bit)
- libgobject-2.0.so.0()(64bit)
- libgthread-2.0.so.0()(64bit)
- libgtk-x11-2.0.so.0()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libpango-1.0.so.0()(64bit)
- libpangocairo-1.0.so.0()(64bit)
- libpangoft2-1.0.so.0()(64bit)
- libpthread.so.0()(64bit)
- libpthread.so.0(GLIBC_2.2.5)(64bit)
- libpthread.so.0(GLIBC_2.3.2)(64bit)
- librt.so.1()(64bit)
- rpmlib(PayloadIsXz) <= 5.2-1
