Karol Chmist 6c6f620e59 Wrap dotty to prevent installing all the files profile		2018-01-08 12:43:44 +01:00
..
2.9.nix
2.10.nix
2.11.nix
default.nix
dotty-bare.nix
dotty.nix