On Tue, Aug 16, 2016 at 10:18 AM, Paulo César Pereira de Andrade <paulo.cesar.pereira.de.andrade@xxxxxxxxx> wrote: > 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 Good! Polybori upstream has been dead for awhile, so it's great to have a maintained replacement. I can take this review. Fortunately, my bugzilla searching skills were up to the task of finding the bug. :-) I don't have anything for you to review right away, but I hope to have gap-pkg-guava in the next couple of days. Sagemath wants that, too. I will let you know when it is ready. -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://lists.fedoraproject.org/admin/lists/devel@xxxxxxxxxxxxxxxxxxxxxxx
