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

dotty-interfaces

dotty-interfaces

Artifact Version Name Latest uploaded at
0.2.0-bin-20170618-3330992-NIGHTLY dotty-interfaces 2017-06-19 01:34:34 UTC
0.9.0-bin-20180426-d73d9bc-NIGHTLY dotty-interfaces 2018-04-27 01:50:26 UTC
0.8.0-bin-20180410-2762567-NIGHTLY dotty-interfaces 2018-04-11 01:36:06 UTC
0.5.0-bin-20171016-dd1882b-NIGHTLY dotty-interfaces 2017-10-17 01:30:28 UTC
0.1.1-bin-20170525-dffccfa-NIGHTLY dotty-interfaces 2017-05-26 14:41:23 UTC
0.1-20161110-28c2e04-NIGHTLY dotty-interfaces 2016-11-11 01:34:58 UTC
0.9.0-bin-20180616-39c69c2-NIGHTLY dotty-interfaces 2018-06-17 01:51:00 UTC
0.2.0-bin-20170609-c804620-NIGHTLY dotty-interfaces 2017-06-10 01:32:50 UTC
0.8.0-bin-20180312-a230912-NIGHTLY dotty-interfaces 2018-03-13 02:31:10 UTC
0.7.0-bin-20180301-7655503-NIGHTLY dotty-interfaces 2018-03-02 02:30:46 UTC
0.1.1-20170306-c90ea6b-NIGHTLY dotty-interfaces 2017-03-07 01:33:40 UTC
0.8.0-bin-20180323-5be1360-NIGHTLY dotty-interfaces 2018-03-24 02:30:56 UTC
0.10.0-bin-20181002-fd93b46-NIGHTLY dotty-interfaces 2018-10-03 01:47:16 UTC
0.8.0-RC1 dotty-interfaces 2018-04-26 14:03:13 UTC
0.1.1-20170329-f49c10d-NIGHTLY dotty-interfaces 2017-03-30 00:33:18 UTC
0.3.0-bin-20170810-4ef7950-NIGHTLY dotty-interfaces 2017-08-12 01:33:07 UTC
0.2.0-bin-20170709-23e64a3-NIGHTLY dotty-interfaces 2017-07-10 01:33:31 UTC
0.10.0-bin-20180905-c6687a3-NIGHTLY dotty-interfaces 2018-09-06 01:54:52 UTC
0.9.0-bin-20180621-90904e8-NIGHTLY dotty-interfaces 2018-06-22 01:51:08 UTC
0.1.1-bin-20170528-5f1a8de-NIGHTLY dotty-interfaces 2017-05-29 01:34:31 UTC
0.8.0-bin-20180319-99b10eb-NIGHTLY dotty-interfaces 2018-03-20 02:30:51 UTC
0.7.0-bin-20180213-726dcc0-NIGHTLY dotty-interfaces 2018-02-14 02:30:34 UTC
0.7.0-bin-20180128-3649fa8-NIGHTLY dotty-interfaces 2018-01-29 02:30:37 UTC
0.10.0-bin-20180831-fbcd879-NIGHTLY dotty-interfaces 2018-09-01 01:51:09 UTC
0.4.0-bin-20170823-bb2f409-NIGHTLY dotty-interfaces 2017-08-23 12:22:14 UTC
0.9.0-bin-20180507-80764e0-NIGHTLY dotty-interfaces 2018-05-08 01:50:53 UTC
0.9.0-bin-20180630-f2efe05-NIGHTLY dotty-interfaces 2018-07-01 01:53:21 UTC
0.11.0-bin-20181116-2d23cba-NIGHTLY dotty-interfaces 2018-11-17 02:47:06 UTC
0.8.0-bin-20180404-4c8a2bd-NIGHTLY dotty-interfaces 2018-04-05 01:34:06 UTC
0.5.0-bin-20171020-4dc4bd6-NIGHTLY dotty-interfaces 2017-10-21 01:29:59 UTC