| Mon, 03 Feb 2025 13:12:44 +0100 | wenzelm | update to scala-3.3.5; | file | diff | annotate |
| Mon, 28 Oct 2024 09:40:28 +0100 | wenzelm | update to scala-3.3.4 LTS; | file | diff | annotate |
| Sun, 19 May 2024 18:43:45 +0200 | wenzelm | provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version; | file | diff | annotate |