Hey Henning,

cabal-install-solver was split out in 2021 and was first released with cabal-install 3.8, as you can see on its Hackage page [3].

The commit doing the split [1] and the corresponding PR don't have much discussion but the initial issue (2016!) has some [2].

I opened an issue to track the slip with the synopsis that you point out [4]. Contributions are welcome!

Thanks for your interest in cabal, and thanks everybody for the warming words!

Please, don't hesitate to submit issues on our GitHub if anything comes up.

[1] https://github.com/haskell/cabal/commit/54696c14986d29aed03a101e5faabf1b7280f967
[2] https://github.com/haskell/cabal/issues/3781
[3] https://hackage.haskell.org/package/cabal-install-solver-3.12.1.0
[4] https://github.com/haskell/cabal/issues/10183

[5] https://github.com/haskell/cabal/pull/7358

On Sat, Jul 6, 2024 at 11:09 AM Henning Thielemann <lemming@henning-thielemann.de> wrote:

On Fri, 28 Jun 2024, Artem Pelenitsyn wrote:

> The cabal release team brings you the release of the cabal-install tool, version 3.12.1.0. This is the first release of the
> tool in the 3.12 series, and, hence, the first cabal-install supporting Cabal 3.12 packaged with GHC 9.10.1. We also update
> the three main libraries.
>
> * cabal-install: The command-line interface for Cabal and Hackage.
> * Cabal: A framework for packaging Haskell software
> * Cabal-syntax: A library for working with .cabal files
> * cabal-install-solver: The command-line interface for Cabal and Hackage.

The last one sounds interesting, though the synopsis equals the one of
cabal-install.