Dependencies
Provides
- polybori-devel = 0.5rc.p9-6mdv2010.0
- devel(libgroebner-0.5.0)
- devel(libpboriCudd-0.5.0)
- devel(libpolybori-0.5.0)
- libpolybori-devel = 1:0.5rc.p9-6mdv2010.0
- libpolybori-devel(x86-32) = 1:0.5rc.p9-6mdv2010.0
Requires
- rpmlib(VersionedDependencies) <= 3.0.3-1
- libpolybori = 0.5rc.p9-6mdv2010.0
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(CompressedFileNames) <= 3.0.4-1
- devel(libgcc_s)
- devel(libm)
- devel(libntl)
- devel(libstdc++)
- rpmlib(PayloadIsLzma) <= 4.4.6-1