[Agda] newest agda dependencies
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
> 18.104.22.168 tag.
If 22.214.171.124 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