Dependencies
Provides
-
frama-c-devel
= 1.9-0.20130601Fluorine.2.mga4
-
frama-c
= 1.9-0.20130601Fluorine.2.mga4
-
frama-c(x86-64)
= 1.9-0.20130601Fluorine.2.mga4
Requires
-
gcc-cpp
-
graphviz
-
ltl2ba
-
rpmlib(PayloadFilesHavePrefix)
<= 4.0-1
-
rpmlib(CompressedFileNames)
<= 3.0.4-1
-
libart_lgpl_2.so.2()(64bit)
-
libatk-1.0.so.0()(64bit)
-
libc.so.6()(64bit)
-
libc.so.6(GLIBC_2.14)(64bit)
-
libc.so.6(GLIBC_2.2.5)(64bit)
-
libc.so.6(GLIBC_2.3)(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)
-
libgmp.so.10()(64bit)
-
libgnomecanvas-2.so.0()(64bit)
-
libgobject-2.0.so.0()(64bit)
-
libgtk-x11-2.0.so.0()(64bit)
-
libgtksourceview-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)
-
rpmlib(PayloadIsXz)
<= 5.2-1
Obsoletes