Custom setup: Can't use Cabal-3.14 released with GHC 9.12

[andreasabel]

[__1] rejecting: Agda:setup.Cabal; 3.14.0.0/installed-17a5, 3.14.0.0 (constraint from maximum version of Cabal used by Setup.hs requires <3.14)

I already reported this for Cabal-3.12 in #9917 ...

• Does cabal-3.10 impose setup.Cabal < 3.12? #9917

But maybe a RC for cabal-install-3.14 (for GHC 9.12) will be available soon?

[geekosaur]

Have you tried it with the cabal-head prereleases? Those should soon be prepared for release now that we have an alpha 9.12. (Which reminds me I need to file a PR with flags updates in preparation for that.)

[ulysses4ever]

@geekosaur as the #9917 discussion showed, some people want to have it through ghcup's channels only...

[geekosaur]

Yes, but this is about checking whether the prerelease to hopefully be made available there soon will work.

[andreasabel]

I tried current master of cabal and that one works fine.

[andreasabel]

cabal-install 3.14 has been released. I am closing this in favor of #9917.