Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;
authorwenzelm
Sun, 07 Nov 2021 16:30:42 +0100
changeset 74722 b92b5a57521b
parent 74721 38e5417910ab
child 74724 cc54b8812c63
child 74725 ae7edb209706
back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Sun Nov 07 15:46:46 2021 +0100
+++ b/Admin/components/main	Sun Nov 07 16:30:42 2021 +0100
@@ -19,7 +19,7 @@
 opam-2.0.7
 polyml-5.9-5d4caa8f7148
 postgresql-42.2.24
-scala-2.13.7
+scala-2.13.5
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3
isabelle