Update Dockerfile

matentzn · web-flow · commit 1fb4a8938498 · 2023-02-16T14:37:11.000+02:00
diff --git a/docker/odklite/Dockerfile b/docker/odklite/Dockerfile
@@ -1,7 +1,7 @@
 FROM ubuntu:22.04
 LABEL maintainer="obo-tools@googlegroups.com"
 
-ENV ROBOT_VERSION=1.9.2
+ENV ROBOT_VERSION=1.9.3
 ENV DOSDP_VERSION=0.19.3
 ENV OWLTOOLS_VERSION=2020-04-06
 ENV AMMONITE_VERSION=2.0.3
