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.
updated to scala-2.12.12;
authorwenzelm
Tue, 25 Aug 2020 23:21:38 +0200
changeset 72210 b7d6b9e71f88
parent 72209 a1e9ae14bb68
child 72211 a6cbf8ce979e
updated to scala-2.12.12;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Tue Aug 25 22:56:34 2020 +0200
+++ b/Admin/components/components.sha1	Tue Aug 25 23:21:38 2020 +0200
@@ -278,6 +278,7 @@
 0004e53f885fb165b50c95686dec40d99ab0bdbd  scala-2.12.0.tar.gz
 059cbdc58d36e3ac1fffcccd9139ecd34f271882  scala-2.12.10.tar.gz
 82056106aa6fd37c159ea76d16096c20a749cccd  scala-2.12.11.tar.gz
+fe7ff585acffaad7f0dd4a1d079134d15c26ed0d  scala-2.12.12.tar.gz
 74a8c3dab3a25a87357996ab3e95d825dc820fd0  scala-2.12.2.tar.gz
 d66796a68ec3254b46b17b1f8ee5bcc56a93aacf  scala-2.12.3.tar.gz
 1636556167dff2c191baf502c23f12e09181ef78  scala-2.12.4.tar.gz
--- a/Admin/components/main	Tue Aug 25 22:56:34 2020 +0200
+++ b/Admin/components/main	Tue Aug 25 23:21:38 2020 +0200
@@ -14,7 +14,7 @@
 opam-2.0.6
 polyml-test-a3cfdf648da
 postgresql-42.2.9
-scala-2.12.11
+scala-2.12.12
 smbc-0.4.1
 spass-3.8ds-1
 sqlite-jdbc-3.30.1
isabelle