{"body":"Completed    aeson-2.1.2.1\nDownloading  Agda-2.6.3\nDownloaded   Agda-2.6.3\nStarting     Agda-2.6.3\nFailed to install Agda-2.6.3\nBuild log ( /home/codespace/.cabal/logs/ghc-8.6.5/Agda-2.6.3-IzS9AozOsqRLb4ddJdrEuI.log ):\ncabal: Entering directory '/tmp/cabal-tmp-5141/Agda-2.6.3'\n[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 )\nLinking /tmp/cabal-tmp-5141/Agda-2.6.3/dist/setup/setup ...\nConfiguring Agda-2.6.3...\nsetup: The program 'alex' version >=3.1.0 && <3.2.0 || ==3.2.1 || >=3.2.3 is\nrequired but it could not be found.\n\ncabal: Leaving directory '/tmp/cabal-tmp-5141/Agda-2.6.3'\ncabal: Error: some packages failed to install:\nAgda-2.6.3-IzS9AozOsqRLb4ddJdrEuI failed during the configure step. The\nexception was:\nExitFailure 1\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/OEfYadAY","modified":1686948257,"id":"OEfYadAY","size":825,"lines":18,"own_paste":false,"theme":"","date":1686948257}