dotty-language-server 0.1.1-bin-20170530-f8f52cc-NIGHTLY ch.epfl.lamp dotty-language-server_0.1 0.1.1-bin-20170530-f8f52cc-NIGHTLY
dotty-language-server 0.1.1-bin-20170528-5f1a8de-NIGHTLY ch.epfl.lamp dotty-language-server_0.1 0.1.1-bin-20170528-5f1a8de-NIGHTLY
dotty-language-server 0.1.1-bin-20170527-8b0aca2-NIGHTLY ch.epfl.lamp dotty-language-server_0.1 0.1.1-bin-20170527-8b0aca2-NIGHTLY