[Agda] newest agda dependencies

Wolfram Kahl kahl at cas.mcmaster.ca
Fri Feb 8 23:19:02 CET 2013

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
> tag.

If 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.


More information about the Agda mailing list