ch.epfl.lamp dotty-language-server_0.17 0.17.0-bin-20190711-e2130b9-NIGHTLY 0.17.0-bin-20190711-e2130b9-NIGHTLY 0.17.0-RC1 0.17.0 0.17.0-bin-20190608-ed8c6ee-NIGHTLY 0.17.0-bin-20190609-74ec0ca-NIGHTLY 0.17.0-bin-20190610-5188531-NIGHTLY 0.17.0-bin-20190611-af94cfc-NIGHTLY 0.17.0-bin-20190612-401742a-NIGHTLY 0.17.0-bin-20190614-655fbfe-NIGHTLY 0.17.0-bin-20190615-eb27b4a-NIGHTLY 0.17.0-bin-20190617-de5443f-NIGHTLY 0.17.0-bin-20190618-dc62333-NIGHTLY 0.17.0-bin-20190619-0a67182-NIGHTLY 0.17.0-bin-20190620-aef831a-NIGHTLY 0.17.0-bin-20190621-b8ed0df-NIGHTLY 0.17.0-bin-20190622-b5a6963-NIGHTLY 0.17.0-bin-20190623-49c4a12-NIGHTLY 0.17.0-bin-20190624-1268474-NIGHTLY 0.17.0-bin-20190625-10526a7-NIGHTLY 0.17.0-bin-20190626-42c422b-NIGHTLY 0.17.0-bin-20190627-c3dbd50-NIGHTLY 0.17.0-bin-20190704-dc0f865-NIGHTLY 0.17.0-bin-20190704-3c99306-NIGHTLY 0.17.0-bin-20190705-2b7cf02-NIGHTLY 0.17.0-bin-20190708-dfa1a91-NIGHTLY 0.17.0-bin-20190709-bbc0df7-NIGHTLY 0.17.0-bin-20190710-9375804-NIGHTLY 0.17.0-bin-20190711-e2130b9-NIGHTLY 20190830130642