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

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

On 15/12/2010 12:46, Iain Lane wrote:
> Please upload them, I'll see what I can do with stdlib soon. In the
> meantime it's easy for users to download and install it themselves if
> they wish.

dput fired. :-)

Giovanni Mascellani <mascellani@poisson.phc.unipi.it>
Pisa, Italy

Web: http://poisson.phc.unipi.it/~mascellani
Jabber: g.mascellani@jabber.org / giovanni@elabor.homelinux.org

Attachment: signature.asc
Description: OpenPGP digital signature

Reply to: