Tim Steinbach 70178169fa dotty: 0.9.0-RC1 -> 0.10.0-RC1		2018-11-15 21:50:13 -05:00
..
2.10.nix
2.11.nix
default.nix
dotty-bare.nix	dotty: 0.9.0-RC1 -> 0.10.0-RC1	2018-11-15 21:50:13 -05:00
dotty.nix