Hi, FYI, https://github.com/blog/1957-git-2-3-has-been-released. The tarballs are found at https://www.kernel.org/pub/software/scm/git/ Best, -- Andrés -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150206/411c5e19/attachment.html