Hi. 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. -- 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