Dependencies
Provides
- polybori-devel = 0.7.0.p3-2
- devel(libgroebner-0.7.0)
- devel(libpboriCudd-0.7.0)
- devel(libpolybori-0.7.0)
- libpolybori-devel = 2:0.7.0.p3-2:2011.0
Requires
- libpolybori = 0.7.0.p3-2
- devel(libboost_python)
- devel(libgcc_s)
- devel(libm)
- devel(libm4ri-0.0.20100701)
- devel(libntl)
- devel(libpython2.7)
- devel(libstdc++)
- rpmlib(PayloadIsLzma) <= 4.4.6-1
