Karol Chmist 961f1fc7fc dotty: 0.6.0-RC1 -> 0.8.0-RC1		2018-06-07 13:15:47 +02:00
..
2.10.nix
2.11.nix
default.nix
dotty-bare.nix	dotty: 0.6.0-RC1 -> 0.8.0-RC1	2018-06-07 13:15:47 +02:00
dotty.nix