2.10.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
2.11.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
2.12.nix
|
scala: 2.12.10 -> 2.12.12
|
2020-10-01 09:44:39 -04:00 |
2.13.nix
|
scala: 2.13.2 -> 2.13.3
|
2020-07-07 11:52:19 +00:00 |
dotty-bare.nix
|
dotty: 0.23.0-RC1 -> 0.26.0-RC1
|
2020-08-04 14:26:01 -07:00 |