ch.epfl.lamp dotty-doc_0.25 0.25.0-bin-20200609-a3b417b-NIGHTLY 0.25.0-bin-20200609-a3b417b-NIGHTLY 0.25.0-RC1 0.25.0-RC2 0.25.0 0.25.0-bin-20200427-66f335c-NIGHTLY 0.25.0-bin-20200428-d436677-NIGHTLY 0.25.0-bin-20200429-c5a76f0-NIGHTLY 0.25.0-bin-20200430-6f51dbb-NIGHTLY 0.25.0-bin-20200501-d1185c3-NIGHTLY 0.25.0-bin-20200502-1f9bca3-NIGHTLY 0.25.0-bin-20200504-11760ea-NIGHTLY 0.25.0-bin-20200506-4da1f25-NIGHTLY 0.25.0-bin-20200506-93ef012-NIGHTLY 0.25.0-bin-20200507-0e5f9dd-NIGHTLY 0.25.0-bin-20200508-f5b1d79-NIGHTLY 0.25.0-bin-20200510-3937ddb-NIGHTLY 0.25.0-bin-20200510-5154641-NIGHTLY 0.25.0-bin-20200511-5fb865b-NIGHTLY 0.25.0-bin-20200512-f807eee-NIGHTLY 0.25.0-bin-20200513-363dd03-NIGHTLY 0.25.0-bin-20200516-9450bf2-NIGHTLY 0.25.0-bin-20200518-b5eded6-NIGHTLY 0.25.0-bin-20200523-5358651-NIGHTLY 0.25.0-bin-20200603-cc8d6c3-NIGHTLY 0.25.0-bin-20200604-2fbefb0-NIGHTLY 0.25.0-bin-20200606-31879e5-NIGHTLY 0.25.0-bin-20200607-345c8bc-NIGHTLY 0.25.0-bin-20200608-fa84627-NIGHTLY 0.25.0-bin-20200609-a3b417b-NIGHTLY 20200722145123