ch.epfl.lamp dotty-library_0.23 0.23.0-bin-20200316-6948038-NIGHTLY 0.23.0-bin-20200316-6948038-NIGHTLY 0.23.0-RC1 0.23.0 0.23.0-bin-20200203-2ced64f-NIGHTLY 0.23.0-bin-20200204-46aec62-NIGHTLY 0.23.0-bin-20200205-3f919dd-NIGHTLY 0.23.0-bin-20200206-4d2ef01-NIGHTLY 0.23.0-bin-20200207-5674066-NIGHTLY 0.23.0-bin-20200208-ce39ddb-NIGHTLY 0.23.0-bin-20200209-25cdd9e-NIGHTLY 0.23.0-bin-20200210-0dc07b0-NIGHTLY 0.23.0-bin-20200211-5b006fb-NIGHTLY 0.23.0-bin-20200212-0aaa769-NIGHTLY 0.23.0-bin-20200213-26de50a-NIGHTLY 0.23.0-bin-20200214-5374d91-NIGHTLY 0.23.0-bin-20200216-b4e037c-NIGHTLY 0.23.0-bin-20200217-e8fa408-NIGHTLY 0.23.0-bin-20200218-98103a2-NIGHTLY 0.23.0-bin-20200219-dd7b841-NIGHTLY 0.23.0-bin-20200220-228e593-NIGHTLY 0.23.0-bin-20200222-811dc19-NIGHTLY 0.23.0-bin-20200224-3e68e93-NIGHTLY 0.23.0-bin-20200225-04d5068-NIGHTLY 0.23.0-bin-20200226-1955f75-NIGHTLY 0.23.0-bin-20200227-63343d2-NIGHTLY 0.23.0-bin-20200228-d37a543-NIGHTLY 0.23.0-bin-20200229-58a5620-NIGHTLY 0.23.0-bin-20200301-d989caf-NIGHTLY 0.23.0-bin-20200302-f6e057c-NIGHTLY 0.23.0-bin-20200303-df0bb24-NIGHTLY 0.23.0-bin-20200304-16c30fb-NIGHTLY 0.23.0-bin-20200305-84f2e41-NIGHTLY 0.23.0-bin-20200312-b64b8a9-NIGHTLY 0.23.0-bin-20200313-ea27651-NIGHTLY 0.23.0-bin-20200314-b08d746-NIGHTLY 0.23.0-bin-20200315-adc44da-NIGHTLY 0.23.0-bin-20200316-6948038-NIGHTLY 20200427112409