--- 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
--- 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