*** setup configure

Configuring Agda-2.2.4...
cabal-setup: At least the following dependencies are missing:
base ==4.1.*

*** Trying again with preferred-versions

*** setup configure

Configuring Agda-2.2.4...
cabal-setup: At least the following dependencies are missing:
QuickCheck ==2.1.0.1 && <2,
base >=4.1 && <4.2 && <4 && >=4.1 && <4.2 && <4