Dependencies
Provides
-
polybori-devel
= 0.6.3.20091028-7mdv2010.1
-
devel(libgroebner-0.6.3(64bit))
-
devel(libpboriCudd-0.6.3(64bit))
-
devel(libpolybori-0.6.3(64bit))
-
lib64polybori-devel
= 1:0.6.3.20091028-7mdv2010.1
-
lib64polybori-devel(x86-64)
= 1:0.6.3.20091028-7mdv2010.1
Requires
-
rpmlib(VersionedDependencies)
<= 3.0.3-1
-
libpolybori
= 0.6.3.20091028-7mdv2010.1
-
rpmlib(PayloadFilesHavePrefix)
<= 4.0-1
-
rpmlib(CompressedFileNames)
<= 3.0.4-1
-
devel(libgcc_s(64bit))
-
devel(libm(64bit))
-
devel(libm4ri-0.0.20091101(64bit))
-
devel(libntl(64bit))
-
devel(libstdc++(64bit))
-
rpmlib(PayloadIsLzma)
<= 4.4.6-1