[Agda] ANNOUNCE: Agda 2.3.2.2

Joachim Breitner nomeata at debian.org
Sat Nov 2 23:58:53 CET 2013


Hi,

Am Samstag, den 02.11.2013, 21:19 +0100 schrieb Andreas Abel:
> Eh, seriously, I you plan to ship that garbage with the next Linux 
> distro, I'd say no, that is after all a bit embarrasing...

no problem, just push a clean release to hackage and we’ll happily skip
2.3.2.2 :)

Greetings,
Joachim

-- 
Joachim "nomeata" Breitner
Debian Developer
  nomeata at debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
  JID: nomeata at joachim-breitner.de | http://people.debian.org/~nomeata


-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
Url : http://lists.chalmers.se/pipermail/agda/attachments/20131102/c37ea54c/attachment.bin


More information about the Agda mailing list