1 files changed, 1 insertions, 1 deletions
diff --git a/rdfox_setup.sh b/rdfox_setup.sh
index 2091088..c9728ca 100755
--- a/rdfox_setup.sh
+++ b/rdfox_setup.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
-VERSION="5.2.1"
+VERSION="5.7"
 NAME="RDFox-linux-x86_64-$VERSION"
 LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip"
 DEST="lib"

diff --git a/rdfox_setup.sh b/rdfox_setup.sh index 2091088..c9728ca 100755 --- a/rdfox_setup.sh +++ b/rdfox_setup.sh
@@ -1,6 +1,6 @@
1	#!/bin/sh	1	#!/bin/sh
2		2
3	VERSION="5.2.1"	3	VERSION="5.7"
4	NAME="RDFox-linux-x86_64-$VERSION"	4	NAME="RDFox-linux-x86_64-$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"