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 package.
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: https://bugzilla.redhat.com/show_bug.cgi?id=1599011 - cadical: https://bugzilla.redhat.com/show_bug.cgi?id=1599012, depends on drabt - lfsc: https://bugzilla.redhat.com/show_bug.cgi?id=1599013; see note below - symfpu: https://bugzilla.redhat.com/show_bug.cgi?id=1599014
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,
I took care of:
- cadical: https://bugzilla.redhat.com/show_bug.cgi?id=1599012 - lfsc: https://bugzilla.redhat.com/show_bug.cgi?id=1599013 - symfpu: https://bugzilla.redhat.com/show_bug.cgi?id=1599014
On Sun, Jul 8, 2018 at 9:49 AM Robert-André Mauchin zebob.m@gmail.com wrote:
I took care of:
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.
On Sun, 8 Jul 2018, Jerry James wrote:
I took care of:
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.
I second that! Great work, Robert-André!
Scott
On 07/09/2018 12:36 AM, Jerry James wrote:
On Sun, Jul 8, 2018 at 9:49 AM Robert-André Mauchin zebob.m@gmail.com wrote:
I took care of:
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.
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.
Thanks, aL. AKA netvor
On Mon, Jul 9, 2018, 13:07 Alois Mahdal amahdal@redhat.com wrote:
On 07/09/2018 12:36 AM, Jerry James wrote:
On Sun, Jul 8, 2018 at 9:49 AM Robert-André Mauchin zebob.m@gmail.com
wrote:
I took care of:
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.
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.
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.
I fifth that... Because he was the only guy from Fedora project, who gave me feed-back about my proposal for a new package : https://bugzilla.redhat.com/show_bug.cgi?id=1581240 https://copr.fedorainfracloud.org/coprs/avigne/pcb-rnd/
Thank you Robert-André. -- Alain V.
On Mon, Jul 9, 2018 at 1:12 PM Igor Gnatenko < ignatenkobrain@fedoraproject.org> wrote:
On Mon, Jul 9, 2018, 13:07 Alois Mahdal amahdal@redhat.com wrote:
On 07/09/2018 12:36 AM, Jerry James wrote:
On Sun, Jul 8, 2018 at 9:49 AM Robert-André Mauchin zebob.m@gmail.com
wrote:
I took care of:
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.
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.
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. --
-Igor Gnatenko _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-leave@lists.fedoraproject.org Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/...
-
Alain Vigne -
Alois Mahdal -
Igor Gnatenko -
Jerry James -
Robert-André Mauchin -
Scott Talbert