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

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

Il 12/12/2010 21:09, Giovanni Mascellani ha scritto:
> I'll try to build them all as soon as my experimental chroot is ready! :-)

Just for the record, I won't have time to work again on this package
until this evening (on GMT+01).

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: