From 4e483b9434ef331374f0f082655fbac4960537d1 Mon Sep 17 00:00:00 2001
From: jcbot <jcb@leipert.io>
Date: Wed, 6 Dec 2017 11:30:43 +0100
Subject: [PATCH] Update mps to 2017.3,173.1427 (#41660)

* Update mps to 2017.3,173.1427

* checkpoint
---
 Casks/mps.rb | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Casks/mps.rb b/Casks/mps.rb
index 8a233fc8c8..1a067e23c2 100644
--- a/Casks/mps.rb
+++ b/Casks/mps.rb
@@ -1,10 +1,10 @@
 cask 'mps' do
-  version '2017.2.3,172.1493'
-  sha256 '2640499fceeef83fce5bdbdf799a7ea1eb468f8fd4ca340263a7f8ba91956bd3'
+  version '2017.3,173.1427'
+  sha256 'f2db828314488712f27143c0688680b7b1829f72bc6d40a3a3eb9606b6e49aa2'
 
   url "https://download.jetbrains.com/mps/#{version.before_comma.major_minor}/MPS-#{version.before_comma}-macos-jdk-bundled.dmg"
   appcast 'https://data.services.jetbrains.com/products/releases?code=MPS&latest=true&type=release',
-          checkpoint: '032a1525d2134de464aad5c498b3a67c70b54ac45d4f50597572280b91706e8f'
+          checkpoint: '9a6768c634431dfab713bd8ae2adfb21b4563a6813eedf1ebca3c4022c1ab661'
   name 'JetBrains MPS'
   homepage 'https://www.jetbrains.com/mps/'