From 5d14f5c28bcd444689f66d3918643afdeea29208 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Thu, 5 Nov 2020 20:42:20 +0000
Subject: Update version on Github Actions custom script

---
 getlibs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/getlibs.sh b/getlibs.sh
index 4deb7ee..10b1392 100755
--- a/getlibs.sh
+++ b/getlibs.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-VERSION="3.1.1"
+VERSION="4.0.0"
 NAME="RDFox-linux-$VERSION"
 LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip"
 DEST="./lib/"
-- 
cgit v1.2.3