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