On Tue, May 19, 2015 at 10:56:15PM +0200, Joachim Breitner wrote: > 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 :-) Done. I hadn't forgotten, but I also hadn't done it either, so I guess that your nudge was helpful. ;-) Had to upgrade cpphs, which will require some binNMUs (I did a haskell-src-exts rebuilds locally to get agda built + uploaded). Hope I did it all okay. Cheers, -- Iain Lane [ iain@orangesquash.org.uk ] Debian Developer [ laney@debian.org ] Ubuntu Developer [ laney@ubuntu.com ]
Attachment:
signature.asc
Description: Digital signature