ch.epfl.lamp dotty_0.1 0.1.2-RC1 0.1.2-RC1 0.1.1-bin-20170501-b19d1fb-NIGHTLY 0.1.1-bin-20170501-de53e52-NIGHTLY 0.1.1-bin-20170502-df22149-NIGHTLY 0.1.1-bin-20170504-92fe2a5-NIGHTLY 0.1.1-bin-20170506-ea9643c-NIGHTLY 0.1.1-bin-20170506-385178d-NIGHTLY 0.1.1-bin-20170507-1014af3-NIGHTLY 0.1.1-bin-20170508-a391a58-NIGHTLY 0.1.1-bin-20170509-7a3f880-NIGHTLY 0.1.1-bin-20170510-85d9684-NIGHTLY 0.1.1-bin-20170511-cc4533d-NIGHTLY 0.1.1-bin-20170516-8fbe087-NIGHTLY 0.1.1-bin-20170517-8a9aedc-NIGHTLY 0.1.1-bin-20170520-a147797-NIGHTLY 0.1.1-bin-20170520-d204179-NIGHTLY 0.1.1-bin-20170522-5efbe52-NIGHTLY 0.1.1-bin-20170523-83745f3-NIGHTLY 0.1.1-bin-20170525-dffccfa-NIGHTLY 0.1.1-bin-20170527-8b0aca2-NIGHTLY 0.1.1-bin-20170528-5f1a8de-NIGHTLY 0.1.1-bin-20170530-f8f52cc-NIGHTLY 0.1.2-RC1 20170530213533