<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hi Natalie and Andreas,</div>

<div>&nbsp;</div>

<div>I was successful in running &quot;cabal update&#39;&#39; but could not complete&nbsp; the isntallation process from&#39;&#39;cabal install Agda&#39;&#39; onwards as I am facing following exceptions despite the fact MinGW+MSYS required for running Agda on Windows is already present inside the Agda root folder. Besides, I downloaded the latest Cygwin64 for Windows 64bit i.e. for my Windows 10 workstaton. But sitll I was not able to install as you can see below the transcribed lines of Win Command Prompt and Cygwin64 Terminal respectively.&nbsp;</div>

<div>
<div>&nbsp;</div>

<div>
<div>C:&#92;Program Files&#92;Haskell Platform&gt;cabal install Agda<br/>
Resolving dependencies...<br/>
Downloading EdisonAPI-1.3...<br/>
Downloading STMonadTrans-0.3.3...<br/>
Downloading boxes-0.1.4...<br/>
Configuring STMonadTrans-0.3.3...<br/>
...........................<br/>
...............................<br/>
...................................//Removed command lines...<br/>
Building unix-compat-0.4.2.0...<br/>
Building EdisonCore-1.3.1.1...<br/>
Configuring old-time-1.1.0.3...<br/>
Installed polyparse-1.12<br/>
Configuring equivalence-0.3.1...<br/>
Failed to install old-time-1.1.0.3<br/>
Build log ( C:&#92;Users&#92;SurajZ&#92;AppData&#92;Roaming&#92;cabal&#92;logs&#92;old-time-1.1.0.3.log ):<br/>
Configuring old-time-1.1.0.3...<br/>
cabal.exe: The package has a &#39;./configure&#39; script. If you are on Windows, This<br/>
requires a Unix compatibility toolchain such as MinGW+MSYS or Cygwin. If you<br/>
are not on Windows, ensure that an &#39;sh&#39; command is discoverable in your path.<br/>
cabal: Leaving directory &#39;C:&#92;Users&#92;SurajZ&#92;AppData&#92;Local&#92;Temp&#92;cabal-tmp-8689&#92;old-time-1.1.0.3&#39;<br/>
Installed hashtables-1.2.1.0<br/>
Installed unix-compat-0.4.2.0<br/>
Downloading filemanip-0.3.6.3...<br/>
Building equivalence-0.3.1...<br/>
Configuring filemanip-0.3.6.3...<br/>
Building filemanip-0.3.6.3...<br/>
Installed equivalence-0.3.1<br/>
Installed filemanip-0.3.6.3<br/>
Installed EdisonCore-1.3.1.1<br/>
cabal: Error: some packages failed to install:<br/>
Agda-2.5.1 depends on old-time-1.1.0.3 which failed to install.<br/>
cpphs-1.20.1 depends on old-time-1.1.0.3 which failed to install.<br/>
haskell-src-exts-1.17.1 depends on old-time-1.1.0.3 which failed to install.<br/>
old-time-1.1.0.3 failed during the configure step. The exception was:<br/>
ExitFailure 1</div>

<div>C:&#92;Program Files&#92;Haskell Platform&gt;cabal install MingGW+MSYS<br/>
cabal: The file does not exist &#39;MingGW+MSYS&#39;.</div>

<div>C:&#92;Program Files&#92;Haskell Platform&gt;cabal install MingGW<br/>
cabal: There is no package named &#39;MingGW&#39;.<br/>
You may need to run &#39;cabal update&#39; to get the latest list of available<br/>
packages.</div>

<div><br/>
Then, I tried to install Agda from within Cygwin64 terminal. Again it throws up similar exceptions.</div>

<div>&nbsp;</div>

<div>&#36; agda-mode setup<br/>
-bash: agda-mode: command not found</div>

<div>Sunyok@DESKTOP-CAD2V7H ~<br/>
&#36; cabal install Agda<br/>
Resolving dependencies...<br/>
Configuring old-time-1.1.0.3...<br/>
Failed to install old-time-1.1.0.3<br/>
Build log ( C:&#92;Users&#92;SurajZ&#92;AppData&#92;Roaming&#92;cabal&#92;logs&#92;old-time-1.1.0.3.log ):<br/>
Configuring old-time-1.1.0.3...<br/>
configure: WARNING: unrecognized options: --with-compiler<br/>
checking for gcc... C:&#92;PROGRA~1&#92;HASKEL~1&#92;802E01~1.1&#92;mingw&#92;bin&#92;gcc.exe<br/>
checking whether the C compiler works... no<br/>
configure: error: in &#96;/tmp/cabal-tmp-9612/old-time-1.1.0.3&#39;:<br/>
configure: error: C compiler cannot create executables<br/>
See &#96;config.log&#39; for more details<br/>
cabal: Leaving directory &#39;C:&#92;Program Files&#92;Haskell Platform&#92;8.0.1&#92;tmp&#92;cabal-tmp-9612&#92;old-time-1.1.0.3&#39;<br/>
cabal.exe: Error: some packages failed to install:<br/>
Agda-2.5.1 depends on old-time-1.1.0.3 which failed to install.<br/>
cpphs-1.20.1 depends on old-time-1.1.0.3 which failed to install.<br/>
haskell-src-exts-1.17.1 depends on old-time-1.1.0.3 which failed to install.<br/>
old-time-1.1.0.3 failed during the configure step. The exception was:<br/>
ExitFailure 77</div>

<div>Sunyok@DESKTOP-CAD2V7H ~<br/>
&#36;</div>
</div>

<div>&nbsp;</div>

<div>&nbsp;</div>

<div>Please let me know how do I troubleshoot and proceed from here.</div>

<div>&nbsp;</div>

<div>Regards,</div>

<div>Ren</div>

<div>&nbsp;</div>

<div>&nbsp;</div>
</div></div></body></html>