mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-28 00:24:18 +00:00
ee2acb33bf
Make 2.13 the default, move 2.12 from default.nix to 2.12.nix |
||
---|---|---|
.. | ||
2.10.nix | ||
2.11.nix | ||
2.12.nix | ||
2.13.nix | ||
dotty-bare.nix | ||
dotty.nix |