Versions of artifact ch.epfl.lamp:dotty-interfaces

dotty-interfaces

dotty-interfaces

Artifact Version Name Latest uploaded at
0.7.0-bin-20180212-3b5419d-NIGHTLY dotty-interfaces 2018-02-13 02:30:36 UTC
0.2.0-bin-20170614-8ddfcaf-NIGHTLY dotty-interfaces 2017-06-15 01:33:01 UTC
0.3.0-bin-20170731-d916343-NIGHTLY dotty-interfaces 2017-08-01 01:33:42 UTC
0.5.0-bin-20171119-4fefb64-NIGHTLY dotty-interfaces 2017-11-20 02:31:36 UTC
0.9.0-RC1 dotty-interfaces 2018-07-05 17:08:23 UTC
0.9.0-bin-20180604-59bc9c1-NIGHTLY dotty-interfaces 2018-06-05 01:51:10 UTC
0.1.1-bin-20170520-a147797-NIGHTLY dotty-interfaces 2017-05-21 01:30:40 UTC
0.4.0-bin-20170919-660fab6-NIGHTLY dotty-interfaces 2017-09-20 01:31:22 UTC
0.4.0-bin-20170912-2516575-NIGHTLY dotty-interfaces 2017-09-13 01:30:34 UTC
0.2.0-RC1 dotty-interfaces 2017-07-11 14:25:10 UTC
0.1.1-bin-20170509-7a3f880-NIGHTLY dotty-interfaces 2017-05-10 13:19:46 UTC
0.4.0-bin-20171001-1dda6e1-NIGHTLY dotty-interfaces 2017-10-02 01:31:47 UTC
0.1-20170105-42eb864-NIGHTLY dotty-interfaces 2017-01-06 01:34:17 UTC
0.9.0-bin-20180625-f2f190d-NIGHTLY dotty-interfaces 2018-06-26 01:51:42 UTC
0.8.0 dotty-interfaces 2018-06-12 18:49:58 UTC
0.4.0-bin-20170831-8ca8cd9-NIGHTLY dotty-interfaces 2017-09-01 01:38:55 UTC
0.9.0-bin-20180501-9b42731-NIGHTLY dotty-interfaces 2018-05-02 01:51:14 UTC
0.11.0-bin-20181008-7463afe-NIGHTLY dotty-interfaces 2018-10-09 01:47:34 UTC
0.5.0-bin-20171031-3a72da6-NIGHTLY dotty-interfaces 2017-11-01 02:32:40 UTC
0.13.0-bin-20190208-8cce121-NIGHTLY dotty-interfaces 2019-02-09 02:47:35 UTC
0.10.0-bin-20180818-20945a2-NIGHTLY dotty-interfaces 2018-08-19 01:51:48 UTC
0.3.0-bin-20170711-5e8a387-NIGHTLY dotty-interfaces 2017-07-12 01:34:23 UTC
0.6.0-bin-20180104-7cd176f-NIGHTLY dotty-interfaces 2018-01-05 02:31:00 UTC
0.4.0-bin-20170828-8429b7b-NIGHTLY dotty-interfaces 2017-08-29 12:54:58 UTC
0.9.0-bin-20180608-6c6571d-NIGHTLY dotty-interfaces 2018-06-09 01:50:49 UTC
0.12.0-bin-20181203-f787d11-NIGHTLY dotty-interfaces 2018-12-04 02:46:55 UTC
0.1.1-20170217-63083f1-NIGHTLY dotty-interfaces 2017-02-18 01:33:59 UTC
0.12.0-RC1 dotty-interfaces 2019-01-18 15:48:06 UTC
0.1-20161116-58a3ed9-NIGHTLY dotty-interfaces 2016-11-16 01:34:51 UTC
0.10.0-bin-20181002-2b73f9d-NIGHTLY dotty-interfaces 2018-10-02 01:46:51 UTC