[Agda] Is it possible to switch off universes checking?

[Nils Anders Danielsson]

On 2015-12-30 16:42, effectfully wrote:
> I got
>
>      Linking ./dist-2.5\build\agda-tests\agda-tests.exe
>      cabal: Error: some packages failed to install:
>      Agda-2.5 failed during the final install step. The exception was:
>      ExitFailure 1

Try to remove the dist-2.5 directory and restart the build.

-- 
/NAD