Karol Chmist 7bfc62a377 dotty: 0.4.0 -> 0.6.0

2018-02-08 10:23:08 +01:00

..

2.9.nix

…

2.10.nix

…

2.11.nix

…

default.nix

…

dotty-bare.nix

dotty: 0.4.0 -> 0.6.0

2018-02-08 10:23:08 +01:00

dotty.nix

Wrap dotty to prevent installing all the files profile

2018-01-08 12:43:44 +01:00