1 files changed, 1 insertions, 1 deletions
diff --git a/getlibs.sh b/getlibs.sh
index 10b1392..be24be7 100755
--- a/getlibs.sh
+++ b/getlibs.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
-VERSION="4.0.0"
+VERSION="4.1.0"
 NAME="RDFox-linux-$VERSION"
 LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip"
 DEST="./lib/"

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