[Agda] ANNOUNCE: Agda

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 earlier today
> – sorry for that.
> Greetings,
> Joachim

More information about the Agda mailing list