Karol Chmist a875fcc5d0 dotty: 0.8.0 -> 0.9.0 (#45423)		2018-08-21 11:46:37 +02:00
..
2.10.nix
2.11.nix
default.nix
dotty-bare.nix	dotty: 0.8.0 -> 0.9.0 (#45423)	2018-08-21 11:46:37 +02:00
dotty.nix