Dave Nicponski 974ff0fc17 dotty: 0.14.0-RC1 -> 0.20.0-RC1 ... Update Scala Dotty to latest version.		2019-11-23 18:18:26 -05:00
..
2.10.nix
2.11.nix
2.12.nix
2.13.nix
dotty-bare.nix
dotty.nix