Dependencies
Provides
- python-polybori-devel = 0.7-1.fc15
- python-polybori-devel(x86-64) = 0.7-1.fc15
Requires
- boost-devel(x86-64)
- cudd-devel(x86-64)
- libgroebner-0.7.0.so.0()(64bit)
- libpolybori-0.7.0.so.0()(64bit)
- python-polybori(x86-64) = 0.7-1.fc15
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsXz) <= 5.2-1
