Dependencies
Provides
-
libpolybori
= 0.5rc.p9-6mdv2010.0
-
libgroebner-0.5.0.so.0
-
libpboriCudd-0.5.0.so.0
-
libpolybori-0.5.0.so.0
-
libpolybori0
= 1:0.5rc.p9-6mdv2010.0
-
libpolybori0(x86-32)
= 1:0.5rc.p9-6mdv2010.0
Requires
-
rpmlib(VersionedDependencies)
<= 3.0.3-1
-
rpmlib(PayloadFilesHavePrefix)
<= 4.0-1
-
rpmlib(CompressedFileNames)
<= 3.0.4-1
-
libc.so.6
-
libc.so.6(GLIBC_2.0)
-
libc.so.6(GLIBC_2.1)
-
libc.so.6(GLIBC_2.1.3)
-
libc.so.6(GLIBC_2.2)
-
libc.so.6(GLIBC_2.7)
-
libgcc_s.so.1
-
libgcc_s.so.1(GCC_3.0)
-
libm.so.6
-
libm.so.6(GLIBC_2.0)
-
libntl.so.5
-
libstdc++.so.6
-
libstdc++.so.6(GLIBCXX_3.4)
-
libstdc++.so.6(GLIBCXX_3.4.11)
-
libstdc++.so.6(GLIBCXX_3.4.9)
-
rtld(GNU_HASH)
-
rpmlib(PayloadIsLzma)
<= 4.4.6-1