<html><body><div style="font-family: times new roman, new york, times, serif; font-size: 12pt; color: #000000"><div>I have installed the following software:</div><div><br></div><div>ghc version 8.6.5</div><div>cabal version 2.4.1.0</div><div>emacs for windows 27.1</div><div><br></div><div>When I execute cabal update it finishes.</div><div>I have executed cabal install Agda many times.</div><div><br></div><div>the last time has answered:</div><div><br></div><div>Starting Agda-2.6.1.2</div><div>Building Agda-2.6.1.2</div><div><br></div><div>and lasts hours without finishing.</div><div><br></div><div>I'm missing some step in the installation?</div><div><br></div><div>Regards,</div><div>Patricia</div></div></body></html>