ch.epfl.lamp dotty-tastydoc_0.22 0.22.0-bin-20200202-c2478a3-NIGHTLY 0.22.0-bin-20200202-c2478a3-NIGHTLY 0.22.0-RC1 0.22.0 0.22.0-bin-20200201-c4c847f-NIGHTLY 0.22.0-bin-20200202-c2478a3-NIGHTLY 20200317162228