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

treewide: use dontUnpack

2019-07-01 04:23:51 -04:00