05:40 <thefossguy> TIL about `cargo dist`

05:41 <thefossguy> Is fedora using this to help ease packaging?

07:16 <rwmjones> davidlt[m]: just back from italy, I see the failing coq build will take a look

07:17 <rwmjones> looks like a code gen bg

07:17 <rwmjones> bug

07:17 <rwmjones> I was thinking about exploring qemu again to see if I could make a faster risc-v builder

07:57 <davidlt[m]> <rwmjones> "I was thinking about exploring..." <- It works, but only if you can do high -j

07:57 <davidlt[m]> If you are mainly single thread the board wins.

09:24 <davidlt[m]> <thefossguy> "Is fedora using this to help..." <- Don't know. I think there is rust2rpm or something to make it easy to get things packaged.

12:47 <thefossguy> Ah okay :)