> Could you reproduce the issue running these commands > > $ cabal update > $ cabal get Agda > $ cd Agda-2.4.2 > $ cabal install Yes. Janek