DevHeads.net

review-swap: brial

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

Comments

Re: review-swap: brial

By Jerry James at 08/16/2016 - 11:31

On Tue, Aug 16, 2016 at 10:18 AM, Paulo César Pereira de Andrade
<paulo.cesar.pereira.de. ... at gmail dot com> wrote:
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.

Re: review-swap: brial

By Jerry James at 08/16/2016 - 17:08

Paulo,

On Tue, Aug 16, 2016 at 10:31 AM, Jerry James < ... at gmail dot com> wrote:
Here is the gap-pkg-guava review. It would be great if you could take that:

<a href="https://bugzilla.redhat.com/show_bug.cgi?id=1367598" title="https://bugzilla.redhat.com/show_bug.cgi?id=1367598">https://bugzilla.redhat.com/show_bug.cgi?id=1367598</a>

Thanks,

Re: review-swap: brial

By gil at 08/16/2016 - 11:30

Il 16/08/2016 18:18, Paulo César Pereira de Andrade ha scritto:

Re: review-swap: brial

By Jerry James at 08/16/2016 - 11:49

On Tue, Aug 16, 2016 at 10:30 AM, gil < ... at libero dot it> wrote:
Oh, sorry gil. I didn't mean to steal that from you. Can you post
your list of packages that need reviews? Maybe I can get to some over
the next few days.

Re: review-swap: brial

By =?ISO-8859-1?Q?... at 08/16/2016 - 12:18

2016-08-16 12:49 GMT-04:00 Jerry James < ... at gmail dot com>:
Ops. sorry for forgeting the link:
<a href="https://bugzilla.redhat.com/show_bug.cgi?id=1367526" title="https://bugzilla.redhat.com/show_bug.cgi?id=1367526">https://bugzilla.redhat.com/show_bug.cgi?id=1367526</a>

Thanks,
Paulo

Re: review-swap: brial

By gil at 08/16/2016 - 13:06

Il 16/08/2016 19:18, Paulo César Pereira de Andrade ha scritto:

Re: review-swap: brial

By Jerry James at 08/16/2016 - 17:08

On Tue, Aug 16, 2016 at 12:06 PM, gil < ... at libero dot it> wrote:
Okay, I will try to get to those in the next day or two, if nobody
beats me to them.