Sandro e461e83aa7 Merge pull request #191966 from jvanbruegge/isabelle-2022

2022-12-03 00:45:47 +01:00

..

2.x.nix

…

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