diff --git a/docker/odklite/Dockerfile b/docker/odklite/Dockerfile index 3e562f6e..42a7c092 100644 --- a/docker/odklite/Dockerfile +++ b/docker/odklite/Dockerfile @@ -3,7 +3,7 @@ LABEL maintainer="obo-tools@googlegroups.com" ENV ROBOT_VERSION=1.9.6 ENV DOSDP_VERSION=0.19.3 -ENV OWLTOOLS_VERSION=2024-06-12 +ENV OWLTOOLS_VERSION=2020-04-06 ENV AMMONITE_VERSION=2.5.9 WORKDIR /tools