From eb399ff097ea4d04650fd02af26af1ac45b2c7b5 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 11 Oct 2022 10:39:57 +0200
Subject: [PATCH] Update ProB Jupyter kernel to version 1.3.0
---
binder/postBuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/binder/postBuild b/binder/postBuild
index 71a1a13..39db994 100755
--- a/binder/postBuild
+++ b/binder/postBuild
@@ -5,7 +5,7 @@ set -o nounset
set -o pipefail
set -o verbose
-PROB2_JUPYTER_VERSION="1.2.1-SNAPSHOT"
+PROB2_JUPYTER_VERSION="1.3.0"
JAR_NAME="prob2-jupyter-kernel-${PROB2_JUPYTER_VERSION}-all.jar"
if [[ "${PROB2_JUPYTER_VERSION}" == *-SNAPSHOT ]]
then
--
GitLab