Hi Joachim. Excerpts from Joachim Breitner's message of Ter Mai 24 04:28:09 -0300 2011: (...) > Am Donnerstag, den 19.05.2011, 19:04 +0100 schrieb Iain Lane: > > You can give them as much of a review as you want, but the point of this > > was to speed the transition along so I'd suggest not being massively > > thorough. In most cases I've just built what was in darcs already, but > > there's also a couple of upstream bumps. Agda includes some large-ish > > changes and backported patches. > > Thanks and uploaded. But please sign such files the next time, for > additional security. I have uploaded them before. I hope there's no problem in redundant uploads. Greetings. (...) -- marcot http://marcot.eti.br/
Attachment:
signature.asc
Description: PGP signature