On Sat, Dec 11, 2010 at 04:20:00PM +0000, Iain Lane wrote:
Hiya,I've just updated these packages in git and would appreciate a sponsor. Note that agda-stdlib depends on agda-bin depends on agda so you'll need to either arrange to build against the new versions locally or upload and wait for dinstall/mirror push in sequence. :-) Cheers, Iain
p.s. they are in the {master,upstream}-experimental branches so you will need to check those out
signature.asc
Description: Digital signature