ch.epfl.lamp dotty-library_0.16 0.16.0-bin-20190607-8e15463-NIGHTLY 0.16.0-bin-20190607-8e15463-NIGHTLY 0.16.0-RC1 0.16.0-RC2 0.16.0-RC3 0.16.0-bin-20190528-6ede814-NIGHTLY 0.16.0-bin-20190529-3361d44-NIGHTLY 0.16.0-bin-20190530-c165638-NIGHTLY 0.16.0-bin-20190602-bf89558-NIGHTLY 0.16.0-bin-20190605-bec8fa0-NIGHTLY 0.16.0-bin-20190606-c46553a-NIGHTLY 0.16.0-bin-20190607-8e15463-NIGHTLY 20190610134708