ch.epfl.lamp dotty_0.10 0.10.0-bin-20181002-2b73f9d-NIGHTLY 0.10.0-bin-20181002-2b73f9d-NIGHTLY 0.10.0-RC1 0.10.0 0.10.0-bin-20180705-61840b6-NIGHTLY 0.10.0-bin-20180706-7a80060-NIGHTLY 0.10.0-bin-20180707-64bd0fe-NIGHTLY 0.10.0-bin-20180708-346b8fa-NIGHTLY 0.10.0-bin-20180709-acd0c6e-NIGHTLY 0.10.0-bin-20180710-385082b-NIGHTLY 0.10.0-bin-20180712-2e53688-NIGHTLY 0.10.0-bin-20180715-b668f16-NIGHTLY 0.10.0-bin-20180716-76972ab-NIGHTLY 0.10.0-bin-20180717-37a5443-NIGHTLY 0.10.0-bin-20180718-bfbd1af-NIGHTLY 0.10.0-bin-20180719-fe8d050-NIGHTLY 0.10.0-bin-20180802-38c066f-NIGHTLY 0.10.0-bin-20180803-429c1f2-NIGHTLY 0.10.0-bin-20180805-f39943d-NIGHTLY 0.10.0-bin-20180806-a4a611c-NIGHTLY 0.10.0-bin-20180807-84966d2-NIGHTLY 0.10.0-bin-20180808-6c33431-NIGHTLY 0.10.0-bin-20180809-dbc8d80-NIGHTLY 0.10.0-bin-20180810-3bf8a16-NIGHTLY 0.10.0-bin-20180811-a91d82a-NIGHTLY 0.10.0-bin-20180813-b4670b7-NIGHTLY 0.10.0-bin-20180814-09a968a-NIGHTLY 0.10.0-bin-20180815-61cba97-NIGHTLY 0.10.0-bin-20180817-e8f137c-NIGHTLY 0.10.0-bin-20180818-20945a2-NIGHTLY 0.10.0-bin-20180819-82b84da-NIGHTLY 0.10.0-bin-20180820-05e27f3-NIGHTLY 0.10.0-bin-20180821-9dd92a9-NIGHTLY 0.10.0-bin-20180822-33afaa2-NIGHTLY 0.10.0-bin-20180824-675b2ac-NIGHTLY 0.10.0-bin-20180826-28ddeac-NIGHTLY 0.10.0-bin-20180828-1d24eaa-NIGHTLY 0.10.0-bin-20180830-bb322b0-NIGHTLY 0.10.0-bin-20180831-fbcd879-NIGHTLY 0.10.0-bin-20180902-a31ea22-NIGHTLY 0.10.0-bin-20180903-86c4e72-NIGHTLY 0.10.0-bin-20180905-c6687a3-NIGHTLY 0.10.0-bin-20180906-00e396c-NIGHTLY 0.10.0-bin-20180909-f5a6b74-NIGHTLY 0.10.0-bin-20180910-0c88214-NIGHTLY 0.10.0-bin-20180912-7dc2226-NIGHTLY 0.10.0-bin-20180914-0a2734b-NIGHTLY 0.10.0-bin-20180918-52a5bdb-NIGHTLY 0.10.0-bin-20180919-e77a47f-NIGHTLY 0.10.0-bin-20180920-9bfaf2b-NIGHTLY 0.10.0-bin-20180921-a0b429b-NIGHTLY 0.10.0-bin-20180924-a4b60c4-NIGHTLY 0.10.0-bin-20180925-561c06a-NIGHTLY 0.10.0-bin-20180926-5e91f77-NIGHTLY 0.10.0-bin-20180927-19cdeb4-NIGHTLY 0.10.0-bin-20180928-6317000-NIGHTLY 0.10.0-bin-20181002-fd93b46-NIGHTLY 0.10.0-bin-20181002-2b73f9d-NIGHTLY 20181123115733