From db09172ffd4815aceaa4c910f33ee58e5d6e541f Mon Sep 17 00:00:00 2001
From: Wolfgang Fahl <wf@bitplan.com>
Date: Sun, 3 Mar 2024 08:38:17 +0100
Subject: [PATCH] fixes jena script to download from https

---
 scripts/jena | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/jena b/scripts/jena
index 164c775..afca607 100755
--- a/scripts/jena
+++ b/scripts/jena
@@ -95,7 +95,7 @@ checkOrGetJenaParts() {
       local tgz="$jpart.tar.gz"
       if [ ! -f "$tgz" ]
       then
-        local url="http://archive.apache.org/dist/jena/binaries/$tgz"
+        local url="https://archive.apache.org/dist/jena/binaries/$tgz"
         color_msg $blue "downloading $tgz from $url"
         curl $url -o "$tgz"
       else