ch.epfl.lamp dotty-doc_0.20 0.20.0-bin-20191030-1fe9555-NIGHTLY 0.20.0-bin-20191030-1fe9555-NIGHTLY 0.20.0-RC1 0.20.0 0.20.0-bin-20190923-10091bd-NIGHTLY 0.20.0-bin-20190924-5bcb1ce-NIGHTLY 0.20.0-bin-20190925-99e05f7-NIGHTLY 0.20.0-bin-20190927-184f486-NIGHTLY 0.20.0-bin-20190928-6c8b4b5-NIGHTLY 0.20.0-bin-20190929-f168498-NIGHTLY 0.20.0-bin-20190930-09b45d3-NIGHTLY 0.20.0-bin-20191001-0b10433-NIGHTLY 0.20.0-bin-20191002-e005473-NIGHTLY 0.20.0-bin-20191003-15cece6-NIGHTLY 0.20.0-bin-20191004-736af36-NIGHTLY 0.20.0-bin-20191005-d67af24-NIGHTLY 0.20.0-bin-20191007-514334e-NIGHTLY 0.20.0-bin-20191008-45b6ebd-NIGHTLY 0.20.0-bin-20191009-87f7a14-NIGHTLY 0.20.0-bin-20191011-082edca-NIGHTLY 0.20.0-bin-20191012-705f304-NIGHTLY 0.20.0-bin-20191013-0f7a85b-NIGHTLY 0.20.0-bin-20191014-d61769d-NIGHTLY 0.20.0-bin-20191015-42e3ad4-NIGHTLY 0.20.0-bin-20191016-5e8e26f-NIGHTLY 0.20.0-bin-20191021-0bf296e-NIGHTLY 0.20.0-bin-20191022-3166433-NIGHTLY 0.20.0-bin-20191024-1d5e6ed-NIGHTLY 0.20.0-bin-20191026-d2db509-NIGHTLY 0.20.0-bin-20191028-d06a5ff-NIGHTLY 0.20.0-bin-20191029-d56060d-NIGHTLY 0.20.0-bin-20191030-1fe9555-NIGHTLY 20191219140319