From 2008f1844f4b73f31eee8c12bbec444b5b97e69b Mon Sep 17 00:00:00 2001 From: Dierk Koenig Date: Thu, 3 Sep 2015 23:53:55 +0200 Subject: upgrade to frege version 3.23 --- build.gradle | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.gradle b/build.gradle index 38b30a1..ad2bac2 100644 --- a/build.gradle +++ b/build.gradle @@ -27,8 +27,8 @@ ext { snapshotAppendix = "-SNAPSHOT" projectVersion = baseVersion + (isSnapshot ? snapshotAppendix : "") - fregeBaseVersion = "3.22.524" - fregeClassifier = "-gcc99d7e" + fregeBaseVersion = "3.23.288" + fregeClassifier = "-gaa3af0c" fregeVersion = "$fregeBaseVersion$fregeClassifier" } -- cgit