[Agda] ANNOUNCE: Agda 2.3.2.2

Andreas Abel abela at chalmers.se
Wed Nov 6 16:48:59 CET 2013


Oh, well, then so be it...    Cheers, Andreas

On 06.11.2013 16:36, Joachim Breitner wrote:
> Debian has a policy to not change upstream tarballs (unless legally
> reqiured). But anyways it is too late now; another Debian maintainer,
> who wasn’t aware of this discussion, just uploaded 2.3.2.2 earlier today
> – sorry for that.
>
> Greetings,
> Joachim
>


More information about the Agda mailing list