[Agda] Cabal hell again

[Thorsten Altenkirch]

I ended up in cabal hell again. What is the trick to get out of it?



I did ghcup and I nuked .cabal but to no avail. What is going on?



Thorsten





psztxa at IMAC-DGKYNHM5JV3X agda % which cabal

/Users/psztxa/.ghcup/bin/cabal

psztxa at IMAC-DGKYNHM5JV3X agda % ghc --version

The Glorious Glasgow Haskell Compilation System, version 8.8.3

psztxa at IMAC-DGKYNHM5JV3X agda % cabal --version

cabal-install version 3.2.0.0

compiled using version 3.2.0.0 of the Cabal library

psztxa at IMAC-DGKYNHM5JV3X agda % cabal update

Downloading the latest package list from hackage.haskell.org

To revert to previous state run:

    cabal v2-update 'hackage.haskell.org,2020-07-08T08:22:29Z'

psztxa at IMAC-DGKYNHM5JV3X agda % git pull

Already up to date.

psztxa at IMAC-DGKYNHM5JV3X agda % cabal install

cabal: Could not resolve dependencies:

[__0] trying: Agda-2.6.2 (user goal)

[__1] trying: base-4.13.0.0/installed-4.13.0.0 (dependency of Agda)

[__2] next goal: lib (user goal)

[__2] rejecting: lib-1.3 (conflict: base==4.13.0.0/installed-4.13.0.0, lib =>

base>=4.8.0.0 && <4.13)

[__2] fail (backjumping, conflict set: base, lib)

After searching the rest of the dependency tree exhaustively, these were the

goals I've had most trouble fulfilling: base, lib, Agda





This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200708/7129a552/attachment.html>