ch.epfl.lamp dotty-doc_0.27 0.27.0-bin-20200826-2e58a66-NIGHTLY 0.27.0-bin-20200826-2e58a66-NIGHTLY 0.27.0-RC1 0.27.0-bin-20200723-eb3b0ac-NIGHTLY 0.27.0-bin-20200724-fd18546-NIGHTLY 0.27.0-bin-20200725-89f42f4-NIGHTLY 0.27.0-bin-20200727-e24a0b7-NIGHTLY 0.27.0-bin-20200728-63b84cb-NIGHTLY 0.27.0-bin-20200729-86a92e4-NIGHTLY 0.27.0-bin-20200730-316d218-NIGHTLY 0.27.0-bin-20200731-bb23fea-NIGHTLY 0.27.0-bin-20200803-0655346-NIGHTLY 0.27.0-bin-20200804-0cdf13a-NIGHTLY 0.27.0-bin-20200805-64cecda-NIGHTLY 0.27.0-bin-20200806-b8825a2-NIGHTLY 0.27.0-bin-20200807-dfcc0b1-NIGHTLY 0.27.0-bin-20200810-74ba21c-NIGHTLY 0.27.0-bin-20200811-56c8e7b-NIGHTLY 0.27.0-bin-20200812-28069b6-NIGHTLY 0.27.0-bin-20200813-550e969-NIGHTLY 0.27.0-bin-20200814-a92473b-NIGHTLY 0.27.0-bin-20200815-0e67451-NIGHTLY 0.27.0-bin-20200816-15a6c8b-NIGHTLY 0.27.0-bin-20200817-15ae0aa-NIGHTLY 0.27.0-bin-20200818-64a239f-NIGHTLY 0.27.0-bin-20200819-6e6f67b-NIGHTLY 0.27.0-bin-20200820-1431be2-NIGHTLY 0.27.0-bin-20200821-387c562-NIGHTLY 0.27.0-bin-20200822-0d36979-NIGHTLY 0.27.0-bin-20200824-239254a-NIGHTLY 0.27.0-bin-20200826-2e58a66-NIGHTLY 20200828124414