Dependencies
Provides
-
pkgconfig(polybori-0.8)
= 0.8.3
-
pkgconfig(polybori-groebner-0.8)
= 0.8.3
-
polybori-devel
= 0.8.3-1.fc18
-
polybori-devel(x86-32)
= 0.8.3-1.fc18
-
python-polybori-devel
= 0.8.3-1.fc18
Requires
-
/usr/bin/pkg-config
-
boost-devel(x86-32)
-
cudd-devel(x86-32)
-
libpolybori-0.8.so.3
-
libpolybori_groebner-0.8.so.3
-
polybori(x86-32)
= 0.8.3-1.fc18
-
rpmlib(CompressedFileNames)
<= 3.0.4-1
-
rpmlib(FileDigests)
<= 4.6.0-1
-
rpmlib(PayloadFilesHavePrefix)
<= 4.0-1
-
rpmlib(PayloadIsXz)
<= 5.2-1
Obsoletes
-
python-polybori-devel
< 0.8.0-1