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	scala: 2.12.9 -> 2.12.10	2019-09-19 09:53:12 -04:00
2.13.nix	scala: 2.13.0 -> 2.13.1	2019-09-19 09:52:12 -04:00
dotty-bare.nix	dotty: 0.14.0-RC1 -> 0.20.0-RC1	2019-11-23 18:18:26 -05:00
dotty.nix