Tim Steinbach 70178169fa dotty: 0.9.0-RC1 -> 0.10.0-RC1		2018-11-15 21:50:13 -05:00
..
2.10.nix	treewide: http -> https sources (#42676)	2018-06-28 20:43:35 +02:00
2.11.nix	treewide: http -> https	2018-06-29 17:18:27 -07:00
default.nix	scala: 2.12.6 -> 2.12.7 (#47571)	2018-10-01 17:29:41 +02:00
dotty-bare.nix	dotty: 0.9.0-RC1 -> 0.10.0-RC1	2018-11-15 21:50:13 -05:00
dotty.nix	Wrap dotty to prevent installing all the files profile	2018-01-08 12:43:44 +01:00