In case you missed it on the regular list 2.5.1.1-rc1 is here: https://www.dropbox.com/s/vh55ll3tqg0h8k5/Agda-2.5.1.1-rc1.tar.gz?dl=1 / Ulf -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20160615/5db63d75/attachment.html