Sandro e461e83aa7 Merge pull request #191966 from jvanbruegge/isabelle-2022		2022-12-03 00:45:47 +01:00
..
2.x.nix	scala: 2.13.8 -> 2.13.10 (#195542)	2022-10-14 09:13:43 -04:00
bare.nix	dotty: use preFixup instead of fixupPhase	2022-11-20 22:31:00 -06:00
default.nix	scala_3: expose scala3-bare as attribute	2022-10-26 12:10:10 +01:00