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