Hi Iain, Am Montag, den 11.05.2015, 15:32 +0100 schrieb Iain Lane: > On Mon, May 11, 2015 at 03:47:05PM +0200, Joachim Breitner wrote: > > Iain, maybe you can upload agda? > > Okay, I'll try to get to that this week. Thanks for the poke. nudge :-) Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part