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

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


On 14/12/2010 08:53, Giovanni Mascellani wrote:
> agda and agda-bin seem to be ok, but unfortunately my computer isn't
> able to compile agda-stdlib (it runs out of memory on a 2 GB RAM
> machine: is this normal?). I'll try on other machines as soon as I can.
> In the meantime, does it make sense to upload the other two packages?

Sorry, I couldn't compile it on a 8 GB machine. I don't have anything
better, so I have to give up for agda-stdlib. Please, tell me what to do
with the other two.

(an additional thing I noticed: agda-stdlib is still UNRELEASED; did you
forget to push some commit?)

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: