Dear Iain,
On Sun, Jun 05, 2016 at 02:38:01PM +0200, Joachim Breitner wrote:
> since Agda does not live with the other packages, I forgot about it.
> Does anyone feel like upgrading it to 2.5.1?
Since you made an upload fairly recently I wanted to check with you
before doing this. I have a parti
Hi,
since Agda does not live with the other packages, I forgot about it.
Does anyone feel like upgrading it to 2.5.1?
Thanks,
Joachim
--
Joachim “nomeata” Breitner
Debian Developer
nome...@debian.org • https://people.debian.org/~nomeata
XMPP: nome...@joachim-breitner.de • GPG-Key: 0xF0FBF51