:~/bin/Agda> cabal unpack Agda; cd Agda-2.2.8; cabal configure; cabal build; cabal install --only
Downloading Agda-2.2.8...
Unpacking to Agda-2.2.8/
Resolving dependencies...
Configuring Agda-2.2.8...
cabal: At least the following dependencies are missing:
QuickCheck >=2.1.0.2 && <2.2
cabal: Run the 'configure' command first.
cabal: Run the 'configure' command first.