[Agda] newest agda dependencies

[Wolfram Kahl]

On Thu, Feb 07, 2013 at 02:33:10PM +0100, Nils Anders Danielsson wrote:
> [...], and provide us with a patch that includes the changes and a
> 2.3.2.1 tag.

If 2.3.2.1 is released, it would be nice if it included also
the fix concerning

  agda: blowUpSparseVec (n = 6) aux i=7 j=7 length l = 1

that moved me back to the development version soon after 2.3.2.


Wolfram