From fa900da617d29c7e1e48ffade50054ce576b67cd Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Tue, 4 Dec 2018 17:00:24 +0000
Subject: [PATCH] scala: Update to version 2.12.7

---
 scala.json | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/scala.json b/scala.json
index 2f364d4e66..0a2ab4c21c 100644
--- a/scala.json
+++ b/scala.json
@@ -1,10 +1,10 @@
 {
     "homepage": "https://www.scala-lang.org/",
-    "version": "2.12.8",
+    "version": "2.12.7",
     "license": "BSD-3-Clause",
-    "url": "https://downloads.typesafe.com/scala/2.12.8/scala-2.12.8.zip",
-    "hash": "8beb410ad9bfc3087589d13f07f062fba0091cf1c4e8534c334e28d1213ed675",
-    "extract_dir": "scala-2.12.8",
+    "url": "https://downloads.typesafe.com/scala/2.12.7/scala-2.12.7.zip",
+    "hash": "6d9f99e4c3e2af89bef74b655eb8166053940e1d0900609f3e9a97fa90b85c91",
+    "extract_dir": "scala-2.12.7",
     "bin": [
         "bin\\fsc.bat",
         "bin\\scala.bat",