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. :-)
Gio.
--
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:
- References:
- Please sponsor agda{,-bin,-stdlib} into experimental
- From: Iain Lane <laney@ubuntu.com>
- Re: Please sponsor agda{,-bin,-stdlib} into experimental
- From: Giovanni Mascellani <gio@debian.org>
- Re: Please sponsor agda{,-bin,-stdlib} into experimental
- From: Giovanni Mascellani <gio@debian.org>
- Re: Please sponsor agda{,-bin,-stdlib} into experimental
- From: Giovanni Mascellani <gio@debian.org>
- Re: Please sponsor agda{,-bin,-stdlib} into experimental
- From: Iain Lane <laney@ubuntu.com>