This package is required for an update to sagemath 7.3. Brial is a replacement to PolyBori, and needs a bundled significantly different Cudd, so, cannot use the system one. It has only one conflict, brial-devel conflicts with polybori-devel. Newer sagemath will use it, so polybori is likely to get orphaned at some point: $ dnf repoquery --whatrequires 'libpolybori-0.8.so.3()(64bit)' Last metadata expiration check: 2:32:10 ago on Tue Aug 16 06:45:26 2016. polybori-devel-0:0.8.3-36.fc25.x86_64 python-polybori-0:0.8.3-36.fc25.x86_64 sagemath-core-0:6.8-13.fc26.x86_64 Thanks, Paulo -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://lists.fedoraproject.org/admin/lists/devel@xxxxxxxxxxxxxxxxxxxxxxx