[Agda] Agda Installer for Windows

[Makoto Takeyama]

Dear Pedro,

> Is there any particular reason why it refuses to even start installing on a
> 64bit version? The previous installer did not have this limitation and

There was a possibly unnecessary restriction (ArchitecturesAllowed=x86)
in the setup script.  Could you try the new setup exe file on the Agda
Wiki Download page?

And Nisse,
> If possible, can you place the scripts used to build the installer in
> the Agda repository? (After you have finished testing it.)
Yes.


Best Wishes,

Makoto
-- 
Makoto Takeyama <makoto.takeyama at aist.go.jp>
AIST/CVS (National Institute of Advanced Industrial Science and Technology /
          Research Center for Verification and Semantics)
tel: +81-6-4863-5019   fax: +81-6-4863-5052