[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