Thanks, Ben - I am glad you find it useful too. :-)

This unfortunately broken:

Problem: module ghc:9.0:3120201006014012:14e45c83-0.x86_64 conflicts with module(platform:f31) provided by platform:f31:0:00000000-0.noarch

Unfortunately this is broken :-(

Problem: module ghc:9.0:3220201006014012:69d92dcd-0.x86_64 conflicts with module(platform:f32) provided by platform:f32:0:00000000-0.noarch

I will push a new build soon

Unfortuntately this is (actually all the initial ghc:9.0 builds) broken:

nothing provides (module(platform:f31) or module(platform:f32)) needed by module ghc:9.0:3320201006014012:a0759e20-0.x86_64

This update has been unpushed.

Yes thanks

Yay, thanks!

It would be nice to see this pushed to stable now.

Okay thanks for catching this.

I suppose I could rebuild the 5 packages...

This update has been unpushed.

LGTM so far

LGTM so far.

So new toolboxes work okay with this provided one uses toolbox-0.0.15. But old toolboxes will no longer run.

I think it is better to disable all autopush for this update.