Review swaps

A new version of cvc4 is available. It depends on cryptominisat 5.x
instead of 4.x. Since cvc4 was the last consumer of cryptominisat 4.x
in Fedora, this means that we can finally retire the cryptominisat4

On the other hand, cvc4 1.6 has new dependencies. I get to add 4
packages in order to retire 1. Um ... yay?

I need reviews for the following. Let me know what I can review for
you in exchange:
- drabt: <a href="" title=""></a>
- cadical: <a href="" title=""></a>, depends on drabt
- lfsc: <a href=";" title=";">;</a> see note below
- symfpu: <a href="" title=""></a>

We used to have an lfsc package in Fedora. Then cvc4 absorbed lfsc;
the upstream lfsc repository disappeared, and the sources were shipped
as part of cvc4. Now the cvc4 developers have decided to distribute
lfsc separately again, so we need to revive the old lfsc package (with
some substantial changes).

Thank you,


Re: Review swaps

By Bob Mauchin at 07/08/2018 - 11:43

I took care of:

- cadical: <a href="" title=""></a>
- lfsc: <a href="" title=""></a>
- symfpu: <a href="" title=""></a>

Re: Review swaps

By Jerry James at 07/08/2018 - 18:36

On Sun, Jul 8, 2018 at 9:49 AM Robert-André Mauchin <zebob. ... at gmail dot com> wrote:
I would like to give a shout out to Robert-André for his efforts
reviewing packages. He has been working hard at keeping the size of
the review queue under control for quite some time now. Almost every
review I go peek at to see if there is something I can do,
Robert-André got there first. He is giving great reviews, and I think
he deserves a little public recognition.

Re: Review swaps

By Alois Mahdal at 07/09/2018 - 06:59

On 07/09/2018 12:36 AM, Jerry James wrote:
I third that! :)

Rober-André helped me with both of my new packages. As newbie, his
feedback being almost instant and always clear and concise helped both
learning and feeling how the Fedora community is alive and welcoming.

aL. AKA netvor

Re: Review swaps

By Igor Gnatenko at 07/09/2018 - 07:12

I fourth that!

He is the only one who reviews my Rust packages lately. Neal Gompa does
that too, but lately he is pretty busy.

Re: Review swaps

By Alain Vigne at 07/09/2018 - 09:08

I fifth that...
Because he was the only guy from Fedora project, who gave me feed-back
about my proposal for a new package :
<a href="" title=""></a>
<a href="" title=""></a>

Thank you Robert-André.

Re: Review swaps

By Scott Talbert at 07/08/2018 - 20:12

I second that! Great work, Robert-André!