ch.epfl.lamp dotty-doc_0.13 0.13.0-bin-20190217-2b0e4a1-NIGHTLY 0.13.0-bin-20190217-2b0e4a1-NIGHTLY 0.13.0-RC1 0.13.0 0.13.0-bin-20190120-e873908-NIGHTLY 0.13.0-bin-20190120-2ce89da-NIGHTLY 0.13.0-bin-20190121-1947222-NIGHTLY 0.13.0-bin-20190122-1ace71d-NIGHTLY 0.13.0-bin-20190123-4c5ca04-NIGHTLY 0.13.0-bin-20190124-d17e041-NIGHTLY 0.13.0-bin-20190125-af9264d-NIGHTLY 0.13.0-bin-20190127-30b6a02-NIGHTLY 0.13.0-bin-20190128-36740bf-NIGHTLY 0.13.0-bin-20190129-05cdff8-NIGHTLY 0.13.0-bin-20190130-3283701-NIGHTLY 0.13.0-bin-20190131-6bb20b3-NIGHTLY 0.13.0-bin-20190201-f9e58c9-NIGHTLY 0.13.0-bin-20190202-03887b7-NIGHTLY 0.13.0-bin-20190204-cd3b1ed-NIGHTLY 0.13.0-bin-20190206-482de4e-NIGHTLY 0.13.0-bin-20190207-276d9af-NIGHTLY 0.13.0-bin-20190208-8cce121-NIGHTLY 0.13.0-bin-20190210-7008144-NIGHTLY 0.13.0-bin-20190211-d8ddbf7-NIGHTLY 0.13.0-bin-20190212-58b8aaa-NIGHTLY 0.13.0-bin-20190213-d7090ab-NIGHTLY 0.13.0-bin-20190214-9f86c88-NIGHTLY 0.13.0-bin-20190215-4c3e170-NIGHTLY 0.13.0-bin-20190216-12eef6d-NIGHTLY 0.13.0-bin-20190217-2b0e4a1-NIGHTLY 20190411152754