log Dockerfile @ 77:a2e6f61d5f2b default tip

age author description
Fri, 30 Dec 2016 14:23:22 +0900 atton Update Agda to 2.5.2
Tue, 18 Oct 2016 14:10:49 +0900 Yasutaka Higa Add Dockerfile which build Agda 2.5.1.1