[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Please sponsor agda{,-bin,-stdlib} into experimental

On Sat, Dec 11, 2010 at 04:20:00PM +0000, Iain Lane wrote:

I've just updated these packages in git and would appreciate a

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. :-)


p.s. they are in the {master,upstream}-experimental branches so you
will need to check those out

Attachment: signature.asc
Description: Digital signature

Reply to: