# HG changeset patch
# User wenzelm
# Date 1571221389 -7200
# Node ID 64cc44f56e1cc6a09de9ee64eb6cef7eb4d0ea0d
# Parent  84145953b2a53929f2e73b9e85ed17677b067bf0
updated to scala-2.12.10;

diff -r 84145953b2a5 -r 64cc44f56e1c Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Oct 15 21:05:35 2019 +0200
+++ b/Admin/components/components.sha1	Wed Oct 16 12:23:09 2019 +0200
@@ -248,6 +248,7 @@
 4810c1b00719115df235be1c5991aa6ea7186134  scala-2.11.7.tar.gz
 3eca4b80710996fff87ed1340dcea2c5f6ebf4f7  scala-2.11.8.tar.gz
 0004e53f885fb165b50c95686dec40d99ab0bdbd  scala-2.12.0.tar.gz
+059cbdc58d36e3ac1fffcccd9139ecd34f271882  scala-2.12.10.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 84145953b2a5 -r 64cc44f56e1c Admin/components/main
--- a/Admin/components/main	Tue Oct 15 21:05:35 2019 +0200
+++ b/Admin/components/main	Wed Oct 16 12:23:09 2019 +0200
@@ -14,7 +14,7 @@
 opam-2.0.3-1
 polyml-5.8
 postgresql-42.2.5
-scala-2.12.7
+scala-2.12.10
 smbc-0.4.1
 spass-3.8ds-1
 sqlite-jdbc-3.27.2.1