ch.epfl.lamp dotty-language-server_0.5 0.5.0-bin-20171128-41cc996-NIGHTLY 0.5.0-bin-20171128-41cc996-NIGHTLY 0.5.0-RC1 0.5.0-bin-20171016-dd1882b-NIGHTLY 0.5.0-bin-20171017-0c7aa9d-NIGHTLY 0.5.0-bin-20171018-b7fbb39-NIGHTLY 0.5.0-bin-20171019-174444d-NIGHTLY 0.5.0-bin-20171020-4dc4bd6-NIGHTLY 0.5.0-bin-20171022-0438e48-NIGHTLY 0.5.0-bin-20171023-e1365d9-NIGHTLY 0.5.0-bin-20171024-431f0fc-NIGHTLY 0.5.0-bin-20171025-3eff831-NIGHTLY 0.5.0-bin-20171026-0202822-NIGHTLY 0.5.0-bin-20171027-68cc7ee-NIGHTLY 0.5.0-bin-20171029-ec54e63-NIGHTLY 0.5.0-bin-20171030-6398448-NIGHTLY 0.5.0-bin-20171031-3a72da6-NIGHTLY 0.5.0-bin-20171101-dfe45fc-NIGHTLY 0.5.0-bin-20171102-cbb481c-NIGHTLY 0.5.0-bin-20171103-22ff8a4-NIGHTLY 0.5.0-bin-20171106-45387e2-NIGHTLY 0.5.0-bin-20171107-42577bb-NIGHTLY 0.5.0-bin-20171108-28f6c3f-NIGHTLY 0.5.0-bin-20171113-8b78497-NIGHTLY 0.5.0-bin-20171114-f728134-NIGHTLY 0.5.0-bin-20171115-745fae6-NIGHTLY 0.5.0-bin-20171116-96d8661-NIGHTLY 0.5.0-bin-20171117-0155804-NIGHTLY 0.5.0-bin-20171118-b4e8acd-NIGHTLY 0.5.0-bin-20171119-4fefb64-NIGHTLY 0.5.0-bin-20171120-c48f7b0-NIGHTLY 0.5.0-bin-20171121-1d24b19-NIGHTLY 0.5.0-bin-20171122-331bc47-NIGHTLY 0.5.0-bin-20171123-6cceefc-NIGHTLY 0.5.0-bin-20171124-7fa8a93-NIGHTLY 0.5.0-bin-20171127-924234f-NIGHTLY 0.5.0-bin-20171128-e98ee92-NIGHTLY 0.5.0-bin-20171128-41cc996-NIGHTLY 20171129125634