Karol Chmist a875fcc5d0 dotty: 0.8.0 -> 0.9.0 (#45423)

2018-08-21 11:46:37 +02: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

treewide: http -> https sources (#42676)

2018-06-28 20:43:35 +02:00

dotty-bare.nix

dotty: 0.8.0 -> 0.9.0 (#45423)

2018-08-21 11:46:37 +02:00

dotty.nix

Wrap dotty to prevent installing all the files profile

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