# HG changeset patch # User wenzelm # Date 1598390498 -7200 # Node ID b7d6b9e71f880382265af65c2904b432e46bb894 # Parent a1e9ae14bb68e582e4d3eab74142c52eea544006 updated to scala-2.12.12; diff -r a1e9ae14bb68 -r b7d6b9e71f88 Admin/components/components.sha1 --- 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 diff -r a1e9ae14bb68 -r b7d6b9e71f88 Admin/components/main --- 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