# Pastebin OEfYadAY
Completed    aeson-2.1.2.1
Downloading  Agda-2.6.3
Downloaded   Agda-2.6.3
Starting     Agda-2.6.3
Failed to install Agda-2.6.3
Build log ( /home/codespace/.cabal/logs/ghc-8.6.5/Agda-2.6.3-IzS9AozOsqRLb4ddJdrEuI.log ):
cabal: Entering directory '/tmp/cabal-tmp-5141/Agda-2.6.3'
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-5141/Agda-2.6.3/dist/setup/setup.hs, /tmp/cabal-tmp-5141/Agda-2.6.3/dist/setup/Main.o )
Linking /tmp/cabal-tmp-5141/Agda-2.6.3/dist/setup/setup ...
Configuring Agda-2.6.3...
setup: The program 'alex' version >=3.1.0 && <3.2.0 || ==3.2.1 || >=3.2.3 is
required but it could not be found.

cabal: Leaving directory '/tmp/cabal-tmp-5141/Agda-2.6.3'
cabal: Error: some packages failed to install:
Agda-2.6.3-IzS9AozOsqRLb4ddJdrEuI failed during the configure step. The
exception was:
ExitFailure 1