mjb@localhost:~> cabal update
Config file path source is default config file.
Config file /home/mjb/.cabal/config not found.
Writing default configuration to /home/mjb/.cabal/config
Downloading the latest package list from hackage.haskell.org
mjb@localhost:~> 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,
idris:setup.Cabal-3.0.0.0, idris:setup.Cabal-2.4.1.0,
idris:setup.Cabal-2.4.0.1, idris:setup.Cabal-2.4.0.0,
idris:setup.Cabal-2.2.0.1, idris:setup.Cabal-2.2.0.0,
idris:setup.Cabal-2.0.1.1, idris:setup.Cabal-2.0.1.0,
idris:setup.Cabal-2.0.0.2, idris:setup.Cabal-1.24.2.0,
idris:setup.Cabal-1.24.0.0, idris:setup.Cabal-1.22.8.0,
idris:setup.Cabal-1.22.7.0, idris:setup.Cabal-1.22.6.0,
idris:setup.Cabal-1.22.5.0, idris:setup.Cabal-1.22.4.0,
idris:setup.Cabal-1.22.3.0, idris:setup.Cabal-1.22.2.0,
idris:setup.Cabal-1.22.1.1, idris:setup.Cabal-1.22.1.0,
idris:setup.Cabal-1.22.0.0, idris:setup.Cabal-1.20.0.4,
idris:setup.Cabal-1.20.0.3, idris:setup.Cabal-1.20.0.2,
idris:setup.Cabal-1.20.0.1, idris:setup.Cabal-1.20.0.0,
idris:setup.Cabal-1.18.1.7, idris:setup.Cabal-1.18.1.6,
idris:setup.Cabal-1.18.1.5, idris:setup.Cabal-1.18.1.4,
idris:setup.Cabal-1.18.1.3, idris:setup.Cabal-1.18.1.2,
idris:setup.Cabal-1.18.1.1, idris:setup.Cabal-1.18.1,
idris:setup.Cabal-1.18.0, idris:setup.Cabal-1.16.0.3,
idris:setup.Cabal-1.16.0.2, idris:setup.Cabal-1.16.0.1,
idris:setup.Cabal-1.16.0, idris:setup.Cabal-1.14.0, idris:setup.Cabal-1.12.0,
idris:setup.Cabal-1.10.2.0, idris:setup.Cabal-1.10.1.0,
idris:setup.Cabal-1.10.0.0, idris:setup.Cabal-1.8.0.6,
idris:setup.Cabal-1.8.0.4, idris:setup.Cabal-1.8.0.2,
idris:setup.Cabal-1.6.0.3, idris:setup.Cabal-1.6.0.2,
idris:setup.Cabal-1.6.0.1, idris:setup.Cabal-1.4.0.2,
idris:setup.Cabal-1.4.0.1, idris:setup.Cabal-1.4.0.0,
idris:setup.Cabal-1.2.4.0, idris:setup.Cabal-1.2.3.0,
idris:setup.Cabal-1.2.2.0, idris:setup.Cabal-1.2.1, idris:setup.Cabal-1.1.6,
idris:setup.Cabal-1.24.1.0 (constraint from minimum version of Cabal used by
Setup.hs requires >=3.2)
[__1] fail (backjumping, conflict set: idris, idris:setup.Cabal)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: idris, base, hashable, text,
blaze-builder, blaze-markup, trifecta, haskeline, idris:setup.Cabal,
optparse-applicative, unordered-containers, ivor
Try running with --minimize-conflict-set to improve the error message.
mjb@localhost:~>
jb@localhost:~> cabal install idris --minimize-conflict-set
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,
idris:setup.Cabal-3.0.0.0, idris:setup.Cabal-2.4.1.0,
idris:setup.Cabal-2.4.0.1, idris:setup.Cabal-2.4.0.0,
idris:setup.Cabal-2.2.0.1, idris:setup.Cabal-2.2.0.0,
idris:setup.Cabal-2.0.1.1, idris:setup.Cabal-2.0.1.0,
idris:setup.Cabal-2.0.0.2, idris:setup.Cabal-1.24.2.0,
idris:setup.Cabal-1.24.0.0, idris:setup.Cabal-1.22.8.0,
idris:setup.Cabal-1.22.7.0, idris:setup.Cabal-1.22.6.0,
idris:setup.Cabal-1.22.5.0, idris:setup.Cabal-1.22.4.0,
idris:setup.Cabal-1.22.3.0, idris:setup.Cabal-1.22.2.0,
idris:setup.Cabal-1.22.1.1, idris:setup.Cabal-1.22.1.0,
idris:setup.Cabal-1.22.0.0, idris:setup.Cabal-1.20.0.4,
idris:setup.Cabal-1.20.0.3, idris:setup.Cabal-1.20.0.2,
idris:setup.Cabal-1.20.0.1, idris:setup.Cabal-1.20.0.0,
idris:setup.Cabal-1.18.1.7, idris:setup.Cabal-1.18.1.6,
idris:setup.Cabal-1.18.1.5, idris:setup.Cabal-1.18.1.4,
idris:setup.Cabal-1.18.1.3, idris:setup.Cabal-1.18.1.2,
idris:setup.Cabal-1.18.1.1, idris:setup.Cabal-1.18.1,
idris:setup.Cabal-1.18.0, idris:setup.Cabal-1.16.0.3,
idris:setup.Cabal-1.16.0.2, idris:setup.Cabal-1.16.0.1,
idris:setup.Cabal-1.16.0, idris:setup.Cabal-1.14.0, idris:setup.Cabal-1.12.0,
idris:setup.Cabal-1.10.2.0, idris:setup.Cabal-1.10.1.0,
idris:setup.Cabal-1.10.0.0, idris:setup.Cabal-1.8.0.6,
idris:setup.Cabal-1.8.0.4, idris:setup.Cabal-1.8.0.2,
idris:setup.Cabal-1.6.0.3, idris:setup.Cabal-1.6.0.2,
idris:setup.Cabal-1.6.0.1, idris:setup.Cabal-1.4.0.2,
idris:setup.Cabal-1.4.0.1, idris:setup.Cabal-1.4.0.0,
idris:setup.Cabal-1.2.4.0, idris:setup.Cabal-1.2.3.0,
idris:setup.Cabal-1.2.2.0, idris:setup.Cabal-1.2.1, idris:setup.Cabal-1.1.6,
idris:setup.Cabal-1.24.1.0 (constraint from minimum version of Cabal used by
Setup.hs requires >=3.2)
[__1] fail (backjumping, conflict set: idris, idris:setup.Cabal)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: idris:setup.Cabal, idris, base, ivor