From cd576b567c134deed729307fb91ecdf76b76b3cc Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 20 May 2020 11:20:43 +0200
Subject: [PATCH] update ProB2 kernel to version 1.2.0

---
 binder/postBuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/binder/postBuild b/binder/postBuild
index f3d0a61..2664d8d 100755
--- a/binder/postBuild
+++ b/binder/postBuild
@@ -5,7 +5,7 @@ set -o nounset
 set -o pipefail
 set -o verbose
 
-PROB2_JUPYTER_VERSION="1.1.0"
+PROB2_JUPYTER_VERSION="1.2.0"
 JAR_NAME="prob2-jupyter-kernel-${PROB2_JUPYTER_VERSION}-all.jar"
 
 wget "https://www3.hhu.de/stups/downloads/prob2-jupyter/${JAR_NAME}"
-- 
GitLab