Mercurial > hg > Members > atton > agda-proofs
log Dockerfile @ 25:da78bb99d654
age | author | description |
---|---|---|
Tue, 18 Oct 2016 14:10:49 +0900 | Yasutaka Higa | Add Dockerfile which build Agda 2.5.1.1 |
age | author | description |
---|---|---|
Tue, 18 Oct 2016 14:10:49 +0900 | Yasutaka Higa | Add Dockerfile which build Agda 2.5.1.1 |