[Agda] install trouble

[Wouter Swierstra]

> However, we plan to release Agda 2.2.0 relatively soon now. The idea  
> is
> basically to just take a snapshot of the repository and package it up;
> there will not be any attempt to fix outstanding bugs, because Ulf  
> does
> not have time right now. Are there any objections to this plan?

Nope. But this is the same answer I got six months ago. Please put  
something on Hackage! It doesn't matter if it's not perfect yet.

   Wouter