From e1b80fae6cb0463d231594c8e6b0d311ade71f1b Mon Sep 17 00:00:00 2001 From: Greg Kinman Date: Tue, 31 Jul 2018 15:16:14 -0700 Subject: [PATCH] =?UTF-8?q?Update=20g=C3=B6del=20(#57)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- godel/config/godel.properties | 4 ++-- godelw | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/godel/config/godel.properties b/godel/config/godel.properties index 6fae4596..6c492c48 100644 --- a/godel/config/godel.properties +++ b/godel/config/godel.properties @@ -1,2 +1,2 @@ -distributionURL=https://palantir.bintray.com/releases/com/palantir/godel/godel/2.8.0/godel-2.8.0.tgz -distributionSHA256=edaeb3676c6a7dee867d91c1013d0d1f503a4ab5d444d01c422c131bbeae876a +distributionURL=https://palantir.bintray.com/releases/com/palantir/godel/godel/2.9.0/godel-2.9.0.tgz +distributionSHA256=c00669bd13e4f3ee28833ca115a25bb2f965b7a6b55a66c4adb17eac90bd5280 diff --git a/godelw b/godelw index 9e055e5c..7767d8ec 100755 --- a/godelw +++ b/godelw @@ -3,9 +3,9 @@ set -euo pipefail # Version and checksums for godel. Values are populated by the godel "dist" task. -VERSION=2.8.0 -DARWIN_CHECKSUM=c04635e7142159fc46a970bdeb3234c131a2e1da50c0e2ac17301ef031b31fa7 -LINUX_CHECKSUM=d30e08a6d6c26c4a8a0ef0984470da3ebeaa478cf9245cc8801645f81da79220 +VERSION=2.9.0 +DARWIN_CHECKSUM=6835d07d8271e047da881ad174372efd6c8e04c993b59b409782fbaded823660 +LINUX_CHECKSUM=59f4693ef333c369eafeb21ca3b0201ea8e4b6d8cbe4fb208f6c52b8be8a6297 # Downloads file at URL to destination path using wget or curl. Prints an error and exits if wget or curl is not present. function download {