You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Trying to install from hackage with ghc 8.10.2 produces a failure of cabal similar to #4845.
Interestingly, it works with ghc 8.8.4 and cabal 3.2, so the cabal version alone cannot be blamed.
Log
$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.10.2
$ cabal --version
cabal-install version 3.2.0.0
compiled using version 3.2.0.0 of the Cabal library
$ cabal install idris
Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: idris-1.3.3 (user goal)
[__1] next goal: idris:setup.Cabal (dependency of idris)
[__1] rejecting: idris:setup.Cabal-3.2.0.0/installed-3.2.0.0 (conflict: idris
=> idris:setup.Cabal>=2.4 && <3.1)
[__1] skipping: idris:setup.Cabal-3.2.0.0 (has the same characteristics that
caused the previous version to fail: excluded by constraint '>=2.4 && <3.1'
from 'idris')
[__1] rejecting: idris:setup.Cabal-3.0.2.0, idris:setup.Cabal-3.0.1.0,
... (long list) ...
idris:setup.Cabal-1.24.1.0 (constraint from minimum version of Cabal used by
Setup.hs requires >=3.2)
...
The text was updated successfully, but these errors were encountered:
Trying to install from hackage with ghc 8.10.2 produces a failure of cabal similar to #4845.
Interestingly, it works with ghc 8.8.4 and cabal 3.2, so the cabal version alone cannot be blamed.
Log
The text was updated successfully, but these errors were encountered: